Trace number 1870545

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-50 1796.51 1796.95

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_2.opb
MD5SUMb5a23f46b7c8ffe564ae87cb51d69480
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-52
Best CPU time to get the best result obtained on this benchmark1796.08
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)4984
Sum of products size (including duplicates)9968
Number of different products2492
Sum of products size4984

Quality of the solution as a function of time


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

Solver Data 

0.03/0.04	c SCIP version 1.1.0.7
0.03/0.04	c LP-Solver Clp 1.8.2
0.03/0.04	c user parameter file <scip.set> not found - using default parameters
0.03/0.04	c read problem <HOME/instance-1870545-1245210961.opb>
0.03/0.04	c original problem has 2892 variables (2892 bin, 0 int, 0 impl, 0 cont) and 3093 constraints
0.03/0.07	c start presolving problem
0.03/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, 20336 impls, 400 clqs
0.38/0.45	c    (0.2s) probing: 101/2892 (3.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.38/0.45	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.38/0.45	c presolving (2 rounds):
0.38/0.45	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.38/0.45	c  20336 implications, 400 cliques
0.38/0.45	c presolved problem has 2892 variables (2892 bin, 0 int, 0 impl, 0 cont) and 3093 constraints
0.38/0.45	c     400 constraints of type <setppc>
0.38/0.45	c    2492 constraints of type <and>
0.38/0.45	c       1 constraints of type <linear>
0.38/0.45	c     200 constraints of type <logicor>
0.38/0.45	c transformed objective value is always integral (scale: 1)
0.38/0.45	c Presolving Time: 0.21
0.38/0.45	c OPT-NLC
0.38/0.45	c -----------------------------------------------------------------------------------------------
0.38/0.45	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.38/0.45	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.38/0.45	c limits/memory = c 1620
0.38/0.45	c # maximal time in seconds to run
0.38/0.45	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.38/0.45	c limits/time = c 1791
0.38/0.45	c # frequency for displaying node information lines
0.38/0.45	c # [type: int, range: [-1,2147483647], default: 100]
0.38/0.45	c display/freq = c 10000
0.38/0.45	c -----------------------------------------------------------------------------------------------
0.38/0.45	c start solving problem
0.38/0.45	c 
0.79/0.81	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.79/0.81	c   0.6s|     1 |     0 |   778 |  13M|   0 | 661 |2892 |3093 |3093 |2892 |5585 |   0 |   0 |   0 |-1.000000e+02 |      --      |    Inf 
0.79/0.83	o -1
0.79/0.83	c R 0.6s|     1 |     0 |   778 |  13M|   0 | 661 |2892 |3093 |3093 |2892 |5585 |   0 |   0 |   0 |-1.000000e+02 |-1.000000e+00 |  99.00%
4.18/4.20	c   4.0s|     1 |     0 |  3528 |  14M|   0 | 988 |2892 |3093 |3093 |2892 |5607 |  22 |   0 |   0 |-1.000000e+02 |-1.000000e+00 |  99.00%
4.18/4.23	o -7
4.18/4.23	c s 4.0s|     1 |     0 |  3528 |  14M|   0 | 988 |2892 |3093 |3093 |2892 |5607 |  22 |   0 |   0 |-1.000000e+02 |-7.000000e+00 |  93.00%
12.28/12.37	c  12.1s|     1 |     0 |  6304 |  14M|   0 |1714 |2892 |3093 |3093 |2892 |5632 |  47 |   0 |   0 |-1.000000e+02 |-7.000000e+00 |  93.00%
15.49/15.53	c  15.2s|     1 |     0 |  6984 |  14M|   0 |1730 |2892 |3093 |3093 |2892 |5761 | 176 |   0 |   0 |-1.000000e+02 |-7.000000e+00 |  93.00%
17.99/18.06	c  17.8s|     1 |     0 |  7290 |  14M|   0 |1735 |2892 |3093 |3093 |2892 |5807 | 222 |   0 |   0 |-1.000000e+02 |-7.000000e+00 |  93.00%
20.48/20.58	c  20.3s|     1 |     0 |  7564 |  14M|   0 |1736 |2892 |3093 |3093 |2892 |5829 | 244 |   0 |   0 |-1.000000e+02 |-7.000000e+00 |  93.00%
20.58/20.62	o -11
20.58/20.62	c s20.3s|     1 |     0 |  7564 |  14M|   0 |1736 |2892 |3093 |3093 |2892 |5829 | 244 |   0 |   0 |-1.000000e+02 |-1.100000e+01 |  89.00%
22.99/23.10	c  22.8s|     1 |     0 |  7765 |  14M|   0 |1739 |2892 |3093 |3093 |2892 |5845 | 260 |   0 |   0 |-1.000000e+02 |-1.100000e+01 |  89.00%
38.58/38.60	c  38.2s|     1 |     2 |  7765 |  14M|   0 |1739 |2892 |3093 |3093 |2892 |5845 | 260 |   0 |  20 |-1.000000e+02 |-1.100000e+01 |  89.00%
376.39/376.53	o -49
376.39/376.53	c l 376s|    14 |    15 |330929 |  16M|   7 |   - |2892 |3102 | 100 |2892 |3088 |3342 |   9 | 301 |-9.950000e+01 |-4.900000e+01 |  50.75%
1337.96/1338.36	o -50
1337.96/1338.36	c l1334s|    91 |    92 |  1169k|  16M|  22 |   - |2892 |3120 | 107 |2892 |3453 |9175 |  27 | 876 |-9.950000e+01 |-5.000000e+01 |  49.75%
1796.35/1796.88	c 
1796.35/1796.88	c SCIP Status        : solving was interrupted [time limit reached]
1796.35/1796.88	c Solving Time (sec) : 1791.01
1796.35/1796.88	c Solving Nodes      : 115
1796.35/1796.88	c Primal Bound       : -5.00000000000000e+01 (5 solutions)
1796.35/1796.88	c Dual Bound         : -9.84369735191955e+01
1796.35/1796.88	c Gap                : 49.21 %
1796.35/1796.89	c NODE         115
1796.35/1796.89	c DUAL BOUND   -98.437
1796.35/1796.89	c PRIMAL BOUND -50
1796.35/1796.89	c GAP          0.492061
1796.35/1796.89	s SATISFIABLE
1796.35/1796.89	v -x337 -x271 -x243 x325 -x375 x334 x247 -x395 -x360 -x303 -x396 -x330 -x295 x298 x296 -x256 -x244 -x394 x313 -x328 -x326 -x258 -x377 
1796.35/1796.89	v -x287 -x227 -x249 -x251 -x289 -x263 -x381 x308 -x302 x286 x388 -x226 -x348 -x354 x364 x230 -x301 -x266 -x314 -x352 -x272 
1796.35/1796.89	v x365 -x223 x312 -x290 -x281 -x240 -x220 -x279 -x327 -x353 -x216 x339 -x241 -x341 -x267 -x372 -x268 -x399 -x217 x323 -x345 x340 
1796.35/1796.89	v -x285 -x269 x292 x351 -x213 -x305 x232 -x333 -x382 -x342 -x306 -x336 x275 x393 -x390 -x273 -x233 -x284 -x212 -x347 -x283 x384 
1796.35/1796.89	v -x355 x239 x215 x319 x309 x356 -x209 -x260 -x242 -x224 -x218 -x252 -x304 -x282 -x277 -x254 -x234 x386 -x207 x371 -x288 -x311 
1796.35/1796.89	v -x391 -x369 x318 -x257 x317 -x206 -x379 -x359 -x338 -x235 x363 -x349 -x324 -x361 -x367 x400 x246 x205 x344 x321 x293 -x259 
1796.35/1796.89	v -x208 -x276 -x315 -x357 -x366 -x261 x307 -x329 -x385 x237 -x236 -x358 -x398 -x378 -x253 -x397 x362 x383 -x387 -x203 -x335 -x310 
1796.35/1796.89	v -x274 -x270 -x248 -x225 -x204 x214 -x297 -x231 -x211 -x392 -x316 -x370 -x373 -x202 x332 -x322 -x300 x280 -x245 -x229 -x219 
1796.35/1796.89	v -x210 x331 x368 -x374 -x255 -x250 -x238 -x294 -x350 -x380 -x343 -x201 -x264 -x222 -x221 x228 -x346 -x278 -x265 -x299 -x262 
1796.35/1796.89	v x376 -x389 x320 -x291 -x200 x199 -x198 x197 -x196 -x195 x194 -x193 -x192 x191 x190 -x189 -x188 x187 -x186 -x185 -x184 -x183 
1796.35/1796.89	v -x182 x181 -x180 -x179 x178 -x177 -x176 x175 x174 x173 -x172 -x171 x170 x169 -x168 x167 -x166 -x165 -x164 -x163 -x162 x161 x160 
1796.35/1796.89	v x159 -x158 -x157 -x156 x155 x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 x146 x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 
1796.35/1796.89	v x137 x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 
1796.35/1796.89	v -x115 -x114 -x113 -x112 x111 x110 -x109 -x108 -x107 x106 -x105 -x104 -x103 -x102 x101 x100 x99 -x98 -x97 -x96 -x95 x94 -x93 
1796.35/1796.89	v -x92 -x91 -x90 -x89 -x88 x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 x79 -x78 -x77 -x76 -x75 -x74 -x73 x72 x71 x70 -x69 -x68 -x67 
1796.35/1796.89	v -x66 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 
1796.35/1796.89	v -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 
1796.35/1796.89	v -x15 -x14 -x13 -x12 x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1796.35/1796.89	c SCIP Status        : solving was interrupted [time limit reached]
1796.35/1796.89	c Solving Time       :    1791.01
1796.35/1796.89	c Original Problem   :
1796.35/1796.89	c   Problem name     : HOME/instance-1870545-1245210961.opb
1796.35/1796.89	c   Variables        : 2892 (2892 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.35/1796.89	c   Constraints      : 3093 initial, 3093 maximal
1796.35/1796.89	c Presolved Problem  :
1796.35/1796.89	c   Problem name     : t_HOME/instance-1870545-1245210961.opb
1796.35/1796.89	c   Variables        : 2892 (2892 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.35/1796.89	c   Constraints      : 3093 initial, 3121 maximal
1796.35/1796.89	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1796.35/1796.89	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1796.35/1796.89	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1796.35/1796.89	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1796.35/1796.89	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1796.35/1796.89	c   implics          :       0.00          0          0          0          0          0          0          0          0
1796.35/1796.89	c   probing          :       0.06          0          0          0          0          0          0          0          0
1796.35/1796.89	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1796.35/1796.89	c   and              :       0.12          0          0          0          0          0          0          0          0
1796.35/1796.89	c   linear           :       0.02          0          0          0          0          0          0          0          0
1796.35/1796.89	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1796.35/1796.89	c   root node        :          -          0          -          -          0          -          -          -          -
1796.35/1796.89	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1796.35/1796.89	c   integral         :          0          0          0        117          0          0          3          0          0        228
1796.35/1796.89	c   setppc           :        400          6      16498          0          1          1        631          0          0          0
1796.35/1796.89	c   and              :       2492        399      16495          0          1         27       9301      28722          0          0
1796.35/1796.89	c   linear           :          1          6      16466          0          0          0          0          0          0          0
1796.35/1796.89	c   logicor          :        200+         6       1320          0          1          0         97          0          0          0
1796.35/1796.89	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1796.35/1796.89	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1796.35/1796.89	c   integral         :     334.22       0.00       0.00     334.22       0.00
1796.35/1796.89	c   setppc           :       0.47       0.00       0.47       0.00       0.00
1796.35/1796.89	c   and              :       3.89       0.79       3.10       0.00       0.00
1796.35/1796.89	c   linear           :       0.31       0.01       0.30       0.00       0.00
1796.35/1796.89	c   logicor          :       0.00       0.00       0.00       0.00       0.00
1796.35/1796.89	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1796.35/1796.89	c Propagators        :       Time      Calls    Cutoffs    DomReds
1796.35/1796.89	c   rootredcost      :       0.01          3          0          0
1796.35/1796.89	c   pseudoobj        :       0.22      16311          0          0
1796.35/1796.89	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.35/1796.89	c   propagation      :       0.00         28         28         28        2.0          0        0.0          -
1796.35/1796.89	c   infeasible LP    :       0.16        155          0          0        0.0          0        0.0          0
1796.35/1796.89	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.35/1796.89	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.35/1796.89	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.35/1796.89	c   applied globally :          -          -          -         28        2.0          -          -          -
1796.35/1796.89	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.35/1796.89	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1796.35/1796.89	c   cut pool         :       0.00          5          -          -          1          -    (maximal pool size: 338)
1796.35/1796.89	c   redcost          :       0.21        399          0          0          0          0
1796.35/1796.89	c   impliedbounds    :       0.01          6          0          0        356          0
1796.35/1796.89	c   intobj           :       0.00          0          0          0          0          0
1796.35/1796.89	c   gomory           :       5.08          6          0          0        512          0
1796.35/1796.89	c   strongcg         :       4.62          6          0          0        512          0
1796.35/1796.89	c   cmir             :       0.44          6          0          0          0          0
1796.35/1796.89	c   flowcover        :       0.40          6          0          0          0          0
1796.35/1796.89	c   clique           :       0.51          6          0          0         43          0
1796.35/1796.89	c   zerohalf         :       0.00          0          0          0          0          0
1796.35/1796.89	c   mcf              :       0.01          1          0          0          0          0
1796.35/1796.89	c Pricers            :       Time      Calls       Vars
1796.35/1796.89	c   problem variables:       0.00          0          0
1796.35/1796.89	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.35/1796.89	c   relpscost        :     334.22        117          0          3          0          0        228
1796.35/1796.89	c   pscost           :       0.00          0          0          0          0          0          0
1796.35/1796.89	c   inference        :       0.01          1          0          0          0          0          2
1796.35/1796.89	c   mostinf          :       0.00          0          0          0          0          0          0
1796.35/1796.89	c   leastinf         :       0.00          0          0          0          0          0          0
1796.35/1796.89	c   fullstrong       :       0.00          0          0          0          0          0          0
1796.35/1796.89	c   allfullstrong    :       0.00          0          0          0          0          0          0
1796.35/1796.89	c   random           :       0.00          0          0          0          0          0          0
1796.35/1796.89	c Primal Heuristics  :       Time      Calls      Found
1796.35/1796.89	c   LP solutions     :       0.00          -          0
1796.35/1796.89	c   pseudo solutions :       0.00          -          0
1796.35/1796.89	c   crossover        :       0.00          0          0
1796.35/1796.89	c   oneopt           :       0.01          3          0
1796.35/1796.89	c   pscostdiving     :      57.37          2          0
1796.35/1796.89	c   fracdiving       :      79.05          3          0
1796.35/1796.89	c   objpscostdiving  :     265.92          2          0
1796.35/1796.89	c   simplerounding   :       0.01          0          0
1796.35/1796.89	c   rounding         :       4.75        411          1
1796.35/1796.89	c   shifting         :       0.76         42          2
1796.35/1796.89	c   intshifting      :       0.00          0          0
1796.35/1796.89	c   fixandinfer      :       0.00          0          0
1796.35/1796.89	c   feaspump         :       0.00          0          0
1796.35/1796.89	c   coefdiving       :      82.24          3          0
1796.35/1796.89	c   veclendiving     :      89.75          3          0
1796.35/1796.89	c   intdiving        :       0.00          0          0
1796.35/1796.89	c   actconsdiving    :       0.00          0          0
1796.35/1796.89	c   rootsoldiving    :      51.15          2          0
1796.35/1796.89	c   linesearchdiving :     102.26          5          2
1796.35/1796.89	c   guideddiving     :      77.27          3          0
1796.35/1796.89	c   octane           :       0.00          0          0
1796.35/1796.89	c   rens             :       0.01          0          0
1796.35/1796.89	c   rins             :       0.00          0          0
1796.35/1796.89	c   localbranching   :       0.00          0          0
1796.35/1796.89	c   mutation         :       0.00          0          0
1796.35/1796.89	c   dins             :       0.00          0          0
1796.35/1796.89	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1796.35/1796.89	c   primal LP        :      72.43          0          0       0.00       0.00
1796.35/1796.89	c   dual LP          :     559.54        420     532104    1266.91     950.97
1796.35/1796.89	c   barrier LP       :       0.00          0          0       0.00          -
1796.35/1796.89	c   diving/probing LP:     771.53      14434    1004602      69.60    1302.09
1796.35/1796.89	c   strong branching :     334.07       1190     371534     312.21    1112.14
1796.35/1796.89	c     (at root node) :          -         20       7303     365.15          -
1796.35/1796.89	c   conflict analysis:       0.00          0          0       0.00          -
1796.35/1796.89	c B&B Tree           :
1796.35/1796.89	c   number of runs   :          1
1796.35/1796.89	c   nodes            :        115
1796.35/1796.89	c   nodes (total)    :        115
1796.35/1796.89	c   nodes left       :        116
1796.35/1796.89	c   max depth        :         22
1796.35/1796.89	c   max depth (total):         22
1796.35/1796.89	c   backtracks       :         43 (37.4%)
1796.35/1796.89	c   delayed cutoffs  :          0
1796.35/1796.89	c   repropagations   :         21 (2 domain reductions, 0 cutoffs)
1796.35/1796.89	c   avg switch length:       3.41
1796.35/1796.89	c   switching time   :      72.52
1796.35/1796.89	c Solution           :
1796.35/1796.89	c   Solutions found  :          5 (5 improvements)
1796.35/1796.89	c   Primal Bound     : -5.00000000000000e+01   (in run 1, after 91 nodes, 1333.85 seconds, depth 527, found by <linesearchdiving>)
1796.35/1796.89	c   Dual Bound       : -9.84369735191955e+01
1796.35/1796.89	c   Gap              :      49.21 %
1796.35/1796.89	c   Root Dual Bound  : -1.00000000000000e+02
1796.45/1796.95	c Time complete: 1796.5.

Verifier Data 

OK	-50

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870545-1245210961/watcher-1870545-1245210961 -o /tmp/evaluation-result-1870545-1245210961/solver-1870545-1245210961 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870545-1245210961.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.01 1.00 2/64 8601
/proc/meminfo: memFree=1763952/2055920 swapFree=4181752/4192956
[pid=8601] ppid=8599 vsize=7620 CPUtime=0
/proc/8601/stat : 8601 (pbscip.linux.x8) R 8599 8601 7911 0 -1 4194304 926 0 0 0 0 0 0 0 18 0 1 0 188696508 7802880 910 1992294400 4194304 9342243 548682068736 18446744073709551615 4613504 0 0 4096 0 0 0 0 17 1 0 0
/proc/8601/statm: 2162 917 362 1256 0 901 0

[startup+0.0441539 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 8601
/proc/meminfo: memFree=1763952/2055920 swapFree=4181752/4192956
[pid=8601] ppid=8599 vsize=13868 CPUtime=0.03
/proc/8601/stat : 8601 (pbscip.linux.x8) R 8599 8601 7911 0 -1 4194304 2457 0 0 0 3 0 0 0 18 0 1 0 188696508 14200832 2441 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/8601/statm: 3466 2440 378 1256 0 2205 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13868

[startup+0.101157 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 8601
/proc/meminfo: memFree=1763952/2055920 swapFree=4181752/4192956
[pid=8601] ppid=8599 vsize=22464 CPUtime=0.09
/proc/8601/stat : 8601 (pbscip.linux.x8) R 8599 8601 7911 0 -1 4194304 4749 0 0 0 7 2 0 0 18 0 1 0 188696508 23003136 4379 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 5616 4379 446 1256 0 4355 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22464

[startup+0.30117 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 8601
/proc/meminfo: memFree=1763952/2055920 swapFree=4181752/4192956
[pid=8601] ppid=8599 vsize=25172 CPUtime=0.29
/proc/8601/stat : 8601 (pbscip.linux.x8) R 8599 8601 7911 0 -1 4194304 5459 0 0 0 17 12 0 0 19 0 1 0 188696508 25776128 5089 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 6293 5089 478 1256 0 5032 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25172

[startup+0.701196 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 8601
/proc/meminfo: memFree=1763952/2055920 swapFree=4181752/4192956
[pid=8601] ppid=8599 vsize=38468 CPUtime=0.69
/proc/8601/stat : 8601 (pbscip.linux.x8) R 8599 8601 7911 0 -1 4194304 8333 0 0 0 50 19 0 0 22 0 1 0 188696508 39391232 7930 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 9617 7930 620 1256 0 8356 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38468

[startup+1.50225 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 8602
/proc/meminfo: memFree=1732008/2055920 swapFree=4181752/4192956
[pid=8601] ppid=8599 vsize=45968 CPUtime=1.49
/proc/8601/stat : 8601 (pbscip.linux.x8) R 8599 8601 7911 0 -1 4194304 10506 0 0 0 128 21 0 0 25 0 1 0 188696508 47071232 10102 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 11492 10102 664 1256 0 10231 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45968

[startup+3.10135 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 8602
/proc/meminfo: memFree=1725608/2055920 swapFree=4181752/4192956
[pid=8601] ppid=8599 vsize=48216 CPUtime=3.09
/proc/8601/stat : 8601 (pbscip.linux.x8) R 8599 8601 7911 0 -1 4194304 10757 0 0 0 288 21 0 0 25 0 1 0 188696508 49373184 10353 1992294400 4194304 9342243 548682068736 18446744073709551615 6960270 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 12054 10353 665 1256 0 10793 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 48216

[startup+6.30156 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 8602
/proc/meminfo: memFree=1724584/2055920 swapFree=4181752/4192956
[pid=8601] ppid=8599 vsize=48380 CPUtime=6.29
/proc/8601/stat : 8601 (pbscip.linux.x8) R 8599 8601 7911 0 -1 4194304 10829 0 0 0 606 23 0 0 25 0 1 0 188696508 49541120 10425 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 12095 10425 665 1256 0 10834 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 48380

[startup+12.702 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 8602
/proc/meminfo: memFree=1723760/2055920 swapFree=4181752/4192956
[pid=8601] ppid=8599 vsize=49264 CPUtime=12.68
/proc/8601/stat : 8601 (pbscip.linux.x8) R 8599 8601 7911 0 -1 4194304 11112 0 0 0 1244 24 0 0 25 0 1 0 188696508 50446336 10708 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 12316 10708 674 1256 0 11055 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49264

[startup+25.5018 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 8602
/proc/meminfo: memFree=1721520/2055920 swapFree=4181752/4192956
[pid=8601] ppid=8599 vsize=56608 CPUtime=25.48
/proc/8601/stat : 8601 (pbscip.linux.x8) R 8599 8601 7911 0 -1 4194304 13911 0 0 0 2519 29 0 0 25 0 1 0 188696508 57966592 11266 1992294400 4194304 9342243 548682068736 18446744073709551615 6965320 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 14152 11266 680 1256 0 12891 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 56608

[startup+51.1015 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 8602
/proc/meminfo: memFree=1722096/2055920 swapFree=4181752/4192956
[pid=8601] ppid=8599 vsize=49360 CPUtime=51.08
/proc/8601/stat : 8601 (pbscip.linux.x8) R 8599 8601 7911 0 -1 4194304 14000 0 0 0 5077 31 0 0 25 0 1 0 188696508 50544640 11170 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 12340 11170 695 1256 0 11079 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 49360

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8602
/proc/meminfo: memFree=1723184/2055920 swapFree=4181752/4192956
[pid=8601] ppid=8599 vsize=47760 CPUtime=102.27
/proc/8601/stat : 8601 (pbscip.linux.x8) R 8599 8601 7911 0 -1 4194304 18712 0 0 0 10189 38 0 0 25 0 1 0 188696508 48906240 10832 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 11940 10832 702 1256 0 10679 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 47760

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8602
/proc/meminfo: memFree=1721264/2055920 swapFree=4181752/4192956
[pid=8601] ppid=8599 vsize=49860 CPUtime=162.25
/proc/8601/stat : 8601 (pbscip.linux.x8) R 8599 8601 7911 0 -1 4194304 22296 0 0 0 16178 47 0 0 25 0 1 0 188696508 51056640 11361 1992294400 4194304 9342243 548682068736 18446744073709551615 5990617 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 12465 11361 702 1256 0 11204 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 49860

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8602
/proc/meminfo: memFree=1721328/2055920 swapFree=4181752/4192956
[pid=8601] ppid=8599 vsize=50620 CPUtime=222.23
/proc/8601/stat : 8601 (pbscip.linux.x8) R 8599 8601 7911 0 -1 4194304 23983 0 0 0 22168 55 0 0 25 0 1 0 188696508 51834880 11347 1992294400 4194304 9342243 548682068736 18446744073709551615 6238480 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 12655 11347 705 1256 0 11394 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 50620

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8602
/proc/meminfo: memFree=1719216/2055920 swapFree=4181752/4192956
[pid=8601] ppid=8599 vsize=52088 CPUtime=282.23
/proc/8601/stat : 8601 (pbscip.linux.x8) R 8599 8601 7911 0 -1 4194304 25219 0 0 0 28157 66 0 0 25 0 1 0 188696508 53338112 11846 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 13022 11846 708 1256 0 11761 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 52088

[startup+342.302 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 8608
/proc/meminfo: memFree=1719728/2055920 swapFree=4181752/4192956
[pid=8601] ppid=8599 vsize=51652 CPUtime=342.2
/proc/8601/stat : 8601 (pbscip.linux.x8) R 8599 8601 7911 0 -1 4194304 33142 0 0 0 34142 78 0 0 25 0 1 0 188696508 52891648 11714 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 12913 11714 708 1256 0 11652 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 51652

[startup+402.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 8608
/proc/meminfo: memFree=1718576/2055920 swapFree=4181752/4192956
[pid=8601] ppid=8599 vsize=53368 CPUtime=402.18
/proc/8601/stat : 8601 (pbscip.linux.x8) R 8599 8601 7911 0 -1 4194304 35155 0 0 0 40132 86 0 0 25 0 1 0 188696508 54648832 12010 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 13342 12010 708 1256 0 12081 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 53368

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8608
/proc/meminfo: memFree=1717872/2055920 swapFree=4181752/4192956
[pid=8601] ppid=8599 vsize=54576 CPUtime=462.17
/proc/8601/stat : 8601 (pbscip.linux.x8) R 8599 8601 7911 0 -1 4194304 45286 0 0 0 46119 98 0 0 25 0 1 0 188696508 55885824 12180 1992294400 4194304 9342243 548682068736 18446744073709551615 6960346 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 13644 12180 709 1256 0 12383 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 54576

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8608
/proc/meminfo: memFree=1716528/2055920 swapFree=4181752/4192956
[pid=8601] ppid=8599 vsize=55704 CPUtime=522.16
/proc/8601/stat : 8601 (pbscip.linux.x8) R 8599 8601 7911 0 -1 4194304 47160 0 0 0 52109 107 0 0 25 0 1 0 188696508 57040896 12523 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 13926 12523 709 1256 0 12665 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 55704

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8608
/proc/meminfo: memFree=1716272/2055920 swapFree=4181752/4192956
[pid=8601] ppid=8599 vsize=55668 CPUtime=582.14
/proc/8601/stat : 8601 (pbscip.linux.x8) R 8599 8601 7911 0 -1 4194304 48544 0 0 0 58098 116 0 0 25 0 1 0 188696508 57004032 12595 1992294400 4194304 9342243 548682068736 18446744073709551615 6080984 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 13917 12595 709 1256 0 12656 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 55668

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8608
/proc/meminfo: memFree=1715696/2055920 swapFree=4181752/4192956
[pid=8601] ppid=8599 vsize=56808 CPUtime=642.13
/proc/8601/stat : 8601 (pbscip.linux.x8) R 8599 8601 7911 0 -1 4194304 51280 0 0 0 64089 124 0 0 25 0 1 0 188696508 58171392 12741 1992294400 4194304 9342243 548682068736 18446744073709551615 6938449 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 14202 12741 709 1256 0 12941 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 56808

[startup+702.302 s]

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

/proc/meminfo: memFree=1716464/2055920 swapFree=4181752/4192956
[pid=8601] ppid=8599 vsize=57480 CPUtime=1062.03
/proc/8601/stat : 8601 (pbscip.linux.x8) R 8599 8601 7911 0 -1 4194304 222721 0 0 0 105931 272 0 0 25 0 1 0 188696508 58859520 12498 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 14370 12498 709 1256 0 13109 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 57480

[startup+1122.3 s]
/proc/loadavg: 1.08 1.02 1.01 2/65 8608
/proc/meminfo: memFree=1716080/2055920 swapFree=4181752/4192956
[pid=8601] ppid=8599 vsize=56656 CPUtime=1122.01
/proc/8601/stat : 8601 (pbscip.linux.x8) R 8599 8601 7911 0 -1 4194304 248257 0 0 0 111905 296 0 0 25 0 1 0 188696508 58015744 12623 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 14164 12623 709 1256 0 12903 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 56656

[startup+1182.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 8608
/proc/meminfo: memFree=1716144/2055920 swapFree=4181752/4192956
[pid=8601] ppid=8599 vsize=57656 CPUtime=1182
/proc/8601/stat : 8601 (pbscip.linux.x8) R 8599 8601 7911 0 -1 4194304 254298 0 0 0 117892 308 0 0 25 0 1 0 188696508 59039744 12649 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 14414 12649 709 1256 0 13153 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 57656

[startup+1242.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 8608
/proc/meminfo: memFree=1716336/2055920 swapFree=4181752/4192956
[pid=8601] ppid=8599 vsize=57792 CPUtime=1241.98
/proc/8601/stat : 8601 (pbscip.linux.x8) R 8599 8601 7911 0 -1 4194304 306588 0 0 0 123855 343 0 0 25 0 1 0 188696508 59179008 12515 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 14448 12515 709 1256 0 13187 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 57792

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8608
/proc/meminfo: memFree=1716400/2055920 swapFree=4181752/4192956
[pid=8601] ppid=8599 vsize=58720 CPUtime=1301.97
/proc/8601/stat : 8601 (pbscip.linux.x8) R 8599 8601 7911 0 -1 4194304 365543 0 0 0 129815 382 0 0 25 0 1 0 188696508 60129280 12544 1992294400 4194304 9342243 548682068736 18446744073709551615 6976974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 14680 12544 709 1256 0 13419 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 58720

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8608
/proc/meminfo: memFree=1713456/2055920 swapFree=4181752/4192956
[pid=8601] ppid=8599 vsize=60584 CPUtime=1361.95
/proc/8601/stat : 8601 (pbscip.linux.x8) R 8599 8601 7911 0 -1 4194304 419590 0 0 0 135777 418 0 0 25 0 1 0 188696508 62038016 12967 1992294400 4194304 9342243 548682068736 18446744073709551615 6040263 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 15146 12967 709 1256 0 13885 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 60584

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8608
/proc/meminfo: memFree=1713648/2055920 swapFree=4181752/4192956
[pid=8601] ppid=8599 vsize=65808 CPUtime=1421.94
/proc/8601/stat : 8601 (pbscip.linux.x8) R 8599 8601 7911 0 -1 4194304 435289 0 0 0 141759 435 0 0 25 0 1 0 188696508 67387392 13188 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 16452 13188 709 1256 0 15191 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 65808

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8608
/proc/meminfo: memFree=1712944/2055920 swapFree=4181752/4192956
[pid=8601] ppid=8599 vsize=66292 CPUtime=1481.93
/proc/8601/stat : 8601 (pbscip.linux.x8) R 8599 8601 7911 0 -1 4194304 479725 0 0 0 147726 467 0 0 25 0 1 0 188696508 67883008 13359 1992294400 4194304 9342243 548682068736 18446744073709551615 6938543 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 16573 13359 709 1256 0 15312 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 66292

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8608
/proc/meminfo: memFree=1713968/2055920 swapFree=4181752/4192956
[pid=8601] ppid=8599 vsize=60024 CPUtime=1541.92
/proc/8601/stat : 8601 (pbscip.linux.x8) R 8599 8601 7911 0 -1 4194304 502460 0 0 0 153707 485 0 0 25 0 1 0 188696508 61464576 13099 1992294400 4194304 9342243 548682068736 18446744073709551615 6213753 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 15006 13099 709 1256 0 13745 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 60024

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8608
/proc/meminfo: memFree=1710768/2055920 swapFree=4181752/4192956
[pid=8601] ppid=8599 vsize=68316 CPUtime=1601.9
/proc/8601/stat : 8601 (pbscip.linux.x8) R 8599 8601 7911 0 -1 4194304 521006 0 0 0 159686 504 0 0 25 0 1 0 188696508 69955584 13891 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 17079 13891 709 1256 0 15818 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 68316

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8608
/proc/meminfo: memFree=1711024/2055920 swapFree=4181752/4192956
[pid=8601] ppid=8599 vsize=63008 CPUtime=1661.88
/proc/8601/stat : 8601 (pbscip.linux.x8) R 8599 8601 7911 0 -1 4194304 525596 0 0 0 165675 513 0 0 25 0 1 0 188696508 64520192 13718 1992294400 4194304 9342243 548682068736 18446744073709551615 5869932 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 15752 13718 709 1256 0 14491 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 63008

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8608
/proc/meminfo: memFree=1709808/2055920 swapFree=4181752/4192956
[pid=8601] ppid=8599 vsize=62212 CPUtime=1721.87
/proc/8601/stat : 8601 (pbscip.linux.x8) R 8599 8601 7911 0 -1 4194304 532302 0 0 0 171664 523 0 0 25 0 1 0 188696508 63705088 14152 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 15553 14152 709 1256 0 14292 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 62212

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8608
/proc/meminfo: memFree=1711088/2055920 swapFree=4181752/4192956
[pid=8601] ppid=8599 vsize=62016 CPUtime=1781.85
/proc/8601/stat : 8601 (pbscip.linux.x8) R 8599 8601 7911 0 -1 4194304 547569 0 0 0 177648 537 0 0 25 0 1 0 188696508 63504384 13825 1992294400 4194304 9342243 548682068736 18446744073709551615 4266239 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 15504 13825 709 1256 0 14243 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 62016

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 8608
/proc/meminfo: memFree=1710256/2055920 swapFree=4181752/4192956
[pid=8601] ppid=8599 vsize=62240 CPUtime=1785.05
/proc/8601/stat : 8601 (pbscip.linux.x8) R 8599 8601 7911 0 -1 4194304 547932 0 0 0 177967 538 0 0 25 0 1 0 188696508 63733760 14188 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 15560 14188 709 1256 0 14299 0
Current children cumulated CPU time (s) 1785.05
Current children cumulated vsize (KiB) 62240

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8608
/proc/meminfo: memFree=1710768/2055920 swapFree=4181752/4192956
[pid=8601] ppid=8599 vsize=62168 CPUtime=1791.46
/proc/8601/stat : 8601 (pbscip.linux.x8) R 8599 8601 7911 0 -1 4194304 548520 0 0 0 178606 540 0 0 25 0 1 0 188696508 63660032 13902 1992294400 4194304 9342243 548682068736 18446744073709551615 6960594 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 15542 13902 709 1256 0 14281 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (KiB) 62168

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8608
/proc/meminfo: memFree=1710704/2055920 swapFree=4181752/4192956
[pid=8601] ppid=8599 vsize=62168 CPUtime=1794.65
/proc/8601/stat : 8601 (pbscip.linux.x8) R 8599 8601 7911 0 -1 4194304 548534 0 0 0 178925 540 0 0 25 0 1 0 188696508 63660032 13916 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 15542 13916 709 1256 0 14281 0
Current children cumulated CPU time (s) 1794.65
Current children cumulated vsize (KiB) 62168

[startup+1795.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8608
/proc/meminfo: memFree=1710704/2055920 swapFree=4181752/4192956
[pid=8601] ppid=8599 vsize=62168 CPUtime=1795.45
/proc/8601/stat : 8601 (pbscip.linux.x8) R 8599 8601 7911 0 -1 4194304 548535 0 0 0 179005 540 0 0 25 0 1 0 188696508 63660032 13917 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 15542 13917 709 1256 0 14281 0
Current children cumulated CPU time (s) 1795.45
Current children cumulated vsize (KiB) 62168

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8608
/proc/meminfo: memFree=1710640/2055920 swapFree=4181752/4192956
[pid=8601] ppid=8599 vsize=62168 CPUtime=1796.25
/proc/8601/stat : 8601 (pbscip.linux.x8) R 8599 8601 7911 0 -1 4194304 548552 0 0 0 179085 540 0 0 25 0 1 0 188696508 63660032 13934 1992294400 4194304 9342243 548682068736 18446744073709551615 6080984 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 15542 13934 709 1256 0 14281 0
Current children cumulated CPU time (s) 1796.25
Current children cumulated vsize (KiB) 62168

[startup+1796.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8608
/proc/meminfo: memFree=1710640/2055920 swapFree=4181752/4192956
[pid=8601] ppid=8599 vsize=62168 CPUtime=1796.45
/proc/8601/stat : 8601 (pbscip.linux.x8) R 8599 8601 7911 0 -1 4194304 548555 0 0 0 179105 540 0 0 16 0 1 0 188696508 63660032 13937 1992294400 4194304 9342243 548682068736 18446744073709551615 4313428 0 0 4096 0 0 0 0 17 1 0 0
/proc/8601/statm: 15542 13937 712 1256 0 14281 0
Current children cumulated CPU time (s) 1796.45
Current children cumulated vsize (KiB) 62168

Child status: 0
Real time (s): 1796.95
CPU time (s): 1796.51
CPU user time (s): 1791.09
CPU system time (s): 5.41718
CPU usage (%): 99.9754
Max. virtual memory (cumulated for all children) (KiB): 68316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.09
system time used= 5.41718
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 548560
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= 6
involuntary context switches= 2056

runsolver used 1.3278 second user time and 3.67944 second system time

The end

Launcher Data 

Begin job on node22 at 2009-06-17 05:56:01
IDJOB=1870545
IDBENCH=48271
IDSOLVER=684
FILE ID=node22/1870545-1245210961
PBS_JOBID= 9368356
Free space on /tmp= 66156 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_2.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-1870545-1245210961/watcher-1870545-1245210961 -o /tmp/evaluation-result-1870545-1245210961/solver-1870545-1245210961 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870545-1245210961.opb

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

MD5SUM BENCH= b5a23f46b7c8ffe564ae87cb51d69480
RANDOM SEED=1434006344

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1764624 kB
Buffers:         58828 kB
Cached:         160480 kB
SwapCached:       5500 kB
Active:         101776 kB
Inactive:       125468 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1764624 kB
SwapTotal:     4192956 kB
SwapFree:      4181752 kB
Dirty:           11848 kB
Writeback:           0 kB
Mapped:          13064 kB
Slab:            50064 kB
Committed_AS:   174580 kB
PageTables:       1372 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= 66144 MiB
End job on node22 at 2009-06-17 06:25:58