Trace number 1870229

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.2SAT45 1794.46 1794.91

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_25_3.opb
MD5SUM0f5da0a781de7969842ad5c8dd7a6f1b
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark41
Best CPU time to get the best result obtained on this benchmark1800.48
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 35
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint26
Maximum length of a constraint50
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)15722
Sum of products size (including duplicates)31444
Number of different products15722
Sum of products size31444

Quality of the solution as a function of time


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

Solver Data 

0.09/0.13	c SCIP version 1.1.0.7
0.09/0.13	c LP-Solver Clp 1.8.2
0.09/0.13	c user parameter file <scip.set> not found - using default parameters
0.09/0.13	c read problem <HOME/instance-1870229-1245190823.opb>
0.09/0.13	c original problem has 16222 variables (16222 bin, 0 int, 0 impl, 0 cont) and 16222 constraints
0.19/0.27	c start presolving problem
0.19/0.27	c presolving:
1.19/1.25	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 500 upgd conss, 1062646 impls, 0 clqs
2.10/2.16	c    (1.8s) probing: 101/16222 (0.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.10/2.16	c    (1.8s) probing aborted: 100/100 successive totally useless probings
2.10/2.16	c presolving (2 rounds):
2.10/2.16	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.10/2.16	c  1062646 implications, 0 cliques
2.10/2.16	c presolved problem has 16222 variables (16222 bin, 0 int, 0 impl, 0 cont) and 16222 constraints
2.10/2.16	c   15722 constraints of type <and>
2.10/2.16	c     500 constraints of type <logicor>
2.10/2.16	c transformed objective value is always integral (scale: 1)
2.10/2.16	c Presolving Time: 1.75
2.10/2.17	c OPT-NLC
2.10/2.17	c -----------------------------------------------------------------------------------------------
2.10/2.17	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.10/2.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.10/2.17	c limits/memory = c 1620
2.10/2.17	c # maximal time in seconds to run
2.10/2.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.10/2.17	c limits/time = c 1791
2.10/2.17	c # frequency for displaying node information lines
2.10/2.17	c # [type: int, range: [-1,2147483647], default: 100]
2.10/2.17	c display/freq = c 10000
2.10/2.17	c -----------------------------------------------------------------------------------------------
2.10/2.17	c start solving problem
2.10/2.17	c 
2.49/2.52	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
2.49/2.52	c   2.1s|     1 |     0 |  1000 |  95M|   0 |1000 |  16k|  16k|  16k|  16k|  31k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.59/2.63	o 67
2.59/2.63	c s 2.2s|     1 |     0 |  1000 |  96M|   0 |1000 |  16k|  16k|  16k|  16k|  31k|   0 |   0 |   0 | 0.000000e+00 | 6.700000e+01 |    Inf 
8.29/8.37	c   7.7s|     1 |     0 |  2501 |  96M|   0 |1000 |  16k|  16k|  16k|  16k|  32k|1001 |   0 |   0 | 0.000000e+00 | 6.700000e+01 |    Inf 
8.39/8.46	o 64
8.39/8.46	c s 7.8s|     1 |     0 |  2501 |  96M|   0 |1000 |  16k|  16k|  16k|  16k|  32k|1001 |   0 |   0 | 0.000000e+00 | 6.400000e+01 |    Inf 
13.09/13.15	c  12.4s|     1 |     0 |  4001 |  97M|   0 |1000 |  16k|  16k|  16k|  16k|  33k|2004 |   0 |   0 | 0.000000e+00 | 6.400000e+01 |    Inf 
13.19/13.27	o 62
13.19/13.27	c s12.5s|     1 |     0 |  4001 |  97M|   0 |1000 |  16k|  16k|  16k|  16k|  33k|2004 |   0 |   0 | 0.000000e+00 | 6.200000e+01 |    Inf 
18.49/18.50	c  17.7s|     1 |     0 |  5501 |  98M|   0 |1000 |  16k|  16k|  16k|  16k|  34k|3005 |   0 |   0 | 0.000000e+00 | 6.200000e+01 |    Inf 
18.59/18.63	o 53
18.59/18.63	c s17.9s|     1 |     0 |  5501 |  98M|   0 |1000 |  16k|  16k|  16k|  16k|  34k|3005 |   0 |   0 | 0.000000e+00 | 5.300000e+01 |    Inf 
24.58/24.65	c  23.9s|     1 |     0 |  7003 |  98M|   0 |1000 |  16k|  16k|  16k|  16k|  35k|4009 |   0 |   0 | 0.000000e+00 | 5.300000e+01 |    Inf 
24.68/24.77	o 49
24.68/24.77	c s24.0s|     1 |     0 |  7003 |  98M|   0 |1000 |  16k|  16k|  16k|  16k|  35k|4009 |   0 |   0 | 0.000000e+00 | 4.900000e+01 |    Inf 
30.38/30.47	c  29.6s|     1 |     0 |  8503 |  99M|   0 |1000 |  16k|  16k|  16k|  16k|  36k|5012 |   0 |   0 | 0.000000e+00 | 4.900000e+01 |    Inf 
30.48/30.59	o 47
30.48/30.59	c s29.8s|     1 |     0 |  8503 |  99M|   0 |1000 |  16k|  16k|  16k|  16k|  36k|5012 |   0 |   0 | 0.000000e+00 | 4.700000e+01 |    Inf 
36.58/36.61	c  35.8s|     1 |     0 | 10003 |  99M|   0 |1000 |  16k|  16k|  16k|  16k|  37k|6014 |   0 |   0 | 0.000000e+00 | 4.700000e+01 |    Inf 
36.68/36.73	o 45
36.68/36.73	c s35.9s|     1 |     0 | 10003 | 100M|   0 |1000 |  16k|  16k|  16k|  16k|  37k|6014 |   0 |   0 | 0.000000e+00 | 4.500000e+01 |    Inf 
39.98/40.06	c  39.1s|     1 |     2 | 10003 | 100M|   0 |1000 |  16k|  16k|  16k|  16k|  37k|6014 |   0 |  19 | 0.000000e+00 | 4.500000e+01 |    Inf 
1794.03/1794.59	c 
1794.03/1794.59	c SCIP Status        : solving was interrupted [time limit reached]
1794.03/1794.59	c Solving Time (sec) : 1791.02
1794.03/1794.59	c Solving Nodes      : 129
1794.03/1794.59	c Primal Bound       : +4.50000000000000e+01 (7 solutions)
1794.03/1794.59	c Dual Bound         : +7.47222222222222e+00
1794.03/1794.59	c Gap                : 502.23 %
1794.13/1794.62	c NODE         129
1794.13/1794.62	c DUAL BOUND   7.47222
1794.13/1794.62	c PRIMAL BOUND 45
1794.13/1794.62	c GAP          5.0223
1794.13/1794.62	s SATISFIABLE
1794.13/1794.62	v -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 
1794.13/1794.62	v -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 
1794.13/1794.62	v -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 x438 -x437 
1794.13/1794.62	v -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 
1794.13/1794.62	v -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 
1794.13/1794.62	v -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 
1794.13/1794.62	v -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 
1794.13/1794.62	v -x353 x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 
1794.13/1794.62	v -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 
1794.13/1794.62	v -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 
1794.13/1794.62	v -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 
1794.13/1794.62	v -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 
1794.13/1794.62	v -x249 x248 x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 
1794.13/1794.62	v -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 
1794.13/1794.62	v -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 
1794.13/1794.62	v -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 
1794.13/1794.62	v -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 
1794.13/1794.62	v -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 x125 -x124 
1794.13/1794.62	v -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 
1794.13/1794.62	v -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 
1794.13/1794.62	v -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 x56 x55 x54 -x53 
1794.13/1794.62	v x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 -x41 x40 x39 -x38 x37 -x36 x35 x34 x33 x32 x31 x30 x29 x28 -x27 -x26 x25 
1794.13/1794.62	v x24 -x23 -x22 x21 -x20 x19 x18 x17 x16 x15 x14 x13 x12 x11 x10 x9 -x8 x7 x6 x5 x4 x3 -x2 x1 
1794.13/1794.62	c SCIP Status        : solving was interrupted [time limit reached]
1794.13/1794.62	c Solving Time       :    1791.02
1794.13/1794.62	c Original Problem   :
1794.13/1794.62	c   Problem name     : HOME/instance-1870229-1245190823.opb
1794.13/1794.62	c   Variables        : 16222 (16222 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.13/1794.62	c   Constraints      : 16222 initial, 16222 maximal
1794.13/1794.62	c Presolved Problem  :
1794.13/1794.62	c   Problem name     : t_HOME/instance-1870229-1245190823.opb
1794.13/1794.62	c   Variables        : 16222 (16222 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.13/1794.62	c   Constraints      : 16222 initial, 18650 maximal
1794.13/1794.62	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1794.13/1794.62	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1794.13/1794.62	c   dualfix          :       0.01          0          0          0          0          0          0          0          0
1794.13/1794.62	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1794.13/1794.62	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1794.13/1794.62	c   implics          :       0.01          0          0          0          0          0          0          0          0
1794.13/1794.62	c   probing          :       0.66          0          0          0          0          0          0          0          0
1794.13/1794.62	c   and              :       0.97          0          0          0          0          0          0          0          0
1794.13/1794.62	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1794.13/1794.62	c   root node        :          -          0          -          -          0          -          -          -          -
1794.13/1794.62	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1794.13/1794.62	c   integral         :          0          0          0        128          0          0          0          0          0        256
1794.13/1794.62	c   and              :      15722        644      25915          0          1        396       4651     930160          0          0
1794.13/1794.62	c   logicor          :        500+         6      12650          0          1        666          0          0          0          0
1794.13/1794.62	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1794.13/1794.62	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1794.13/1794.62	c   integral         :     282.10       0.00       0.00     282.10       0.00
1794.13/1794.62	c   and              :      85.40      14.02      71.38       0.00       0.00
1794.13/1794.62	c   logicor          :       2.02       0.00       2.01       0.00       0.01
1794.13/1794.62	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1794.13/1794.62	c Propagators        :       Time      Calls    Cutoffs    DomReds
1794.13/1794.62	c   rootredcost      :       0.06          1          0          0
1794.13/1794.62	c   pseudoobj        :       5.07      25811         84          0
1794.13/1794.62	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1794.13/1794.62	c   propagation      :       0.72       1146       1146       5434       51.0          0        0.0          -
1794.13/1794.62	c   infeasible LP    :       0.17         67          0          0        0.0          0        0.0          0
1794.13/1794.62	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1794.13/1794.62	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1794.13/1794.62	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1794.13/1794.62	c   applied globally :          -          -          -       5433       51.0          -          -          -
1794.13/1794.62	c   applied locally  :          -          -          -          0        0.0          -          -          -
1794.13/1794.62	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1794.13/1794.62	c   cut pool         :       0.00          5          -          -          0          -    (maximal pool size: 6014)
1794.13/1794.62	c   redcost          :       1.51        644          0          0          0          0
1794.13/1794.62	c   impliedbounds    :       0.06          6          0          0       6000          0
1794.13/1794.62	c   intobj           :       0.00          0          0          0          0          0
1794.13/1794.62	c   gomory           :       1.85          6          0          0       3000          0
1794.13/1794.62	c   strongcg         :       1.84          6          0          0       3000          0
1794.13/1794.62	c   cmir             :      19.67          6          0          0       3000          0
1794.13/1794.62	c   flowcover        :       6.22          6          0          0          0          0
1794.13/1794.62	c   clique           :       1.17          6          0          0         14          0
1794.13/1794.62	c   zerohalf         :       0.00          0          0          0          0          0
1794.13/1794.62	c   mcf              :       0.06          1          0          0          0          0
1794.13/1794.62	c Pricers            :       Time      Calls       Vars
1794.13/1794.62	c   problem variables:       0.00          0          0
1794.13/1794.62	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1794.13/1794.62	c   relpscost        :     282.10        128          0          0          0          0        256
1794.13/1794.62	c   pscost           :       0.00          0          0          0          0          0          0
1794.13/1794.62	c   inference        :       0.01          1          0          0          0          0          2
1794.13/1794.62	c   mostinf          :       0.00          0          0          0          0          0          0
1794.13/1794.62	c   leastinf         :       0.00          0          0          0          0          0          0
1794.13/1794.62	c   fullstrong       :       0.00          0          0          0          0          0          0
1794.13/1794.62	c   allfullstrong    :       0.00          0          0          0          0          0          0
1794.13/1794.62	c   random           :       0.00          0          0          0          0          0          0
1794.13/1794.62	c Primal Heuristics  :       Time      Calls      Found
1794.13/1794.62	c   LP solutions     :       0.00          -          0
1794.13/1794.62	c   pseudo solutions :       0.00          -          0
1794.13/1794.62	c   crossover        :       0.00          0          0
1794.13/1794.62	c   oneopt           :       0.02          1          0
1794.13/1794.62	c   guideddiving     :     125.31          6          0
1794.13/1794.62	c   simplerounding   :       0.02          0          0
1794.13/1794.62	c   rounding         :       4.22        348          0
1794.13/1794.62	c   shifting         :       1.95         55          7
1794.13/1794.62	c   intshifting      :       0.00          0          0
1794.13/1794.62	c   fixandinfer      :       0.00          0          0
1794.13/1794.62	c   feaspump         :       0.00          0          0
1794.13/1794.62	c   coefdiving       :     113.93          8          0
1794.13/1794.62	c   pscostdiving     :     180.43          5          0
1794.13/1794.62	c   fracdiving       :     173.80          6          0
1794.13/1794.62	c   veclendiving     :     138.81          8          0
1794.13/1794.62	c   intdiving        :       0.00          0          0
1794.13/1794.62	c   actconsdiving    :       0.00          0          0
1794.13/1794.62	c   objpscostdiving  :      87.34          1          0
1794.13/1794.62	c   rootsoldiving    :      10.90          6          0
1794.13/1794.62	c   linesearchdiving :      59.71          5          0
1794.13/1794.62	c   octane           :       0.00          0          0
1794.13/1794.62	c   rens             :       2.37          1          0
1794.13/1794.62	c   rins             :       0.00          0          0
1794.13/1794.62	c   localbranching   :       0.00          0          0
1794.13/1794.62	c   mutation         :       0.00          0          0
1794.13/1794.62	c   dins             :       0.00          0          0
1794.13/1794.62	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1794.13/1794.62	c   primal LP        :      96.39          0          0       0.00       0.00
1794.13/1794.62	c   dual LP          :     442.25        773     349385     451.99     790.02
1794.13/1794.62	c   barrier LP       :       0.00          0          0       0.00          -
1794.13/1794.62	c   diving/probing LP:     686.88      11533     234285      20.31     341.09
1794.13/1794.62	c   strong branching :     281.81       2670     192664      72.16     683.67
1794.13/1794.62	c     (at root node) :          -         19        980      51.58          -
1794.13/1794.62	c   conflict analysis:       0.00          0          0       0.00          -
1794.13/1794.62	c B&B Tree           :
1794.13/1794.62	c   number of runs   :          1
1794.13/1794.62	c   nodes            :        129
1794.13/1794.62	c   nodes (total)    :        129
1794.13/1794.62	c   nodes left       :        130
1794.13/1794.62	c   max depth        :         15
1794.13/1794.62	c   max depth (total):         15
1794.13/1794.62	c   backtracks       :         58 (45.0%)
1794.13/1794.62	c   delayed cutoffs  :          0
1794.13/1794.62	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1794.13/1794.62	c   avg switch length:       3.48
1794.13/1794.62	c   switching time   :      96.73
1794.13/1794.62	c Solution           :
1794.13/1794.62	c   Solutions found  :          7 (7 improvements)
1794.13/1794.62	c   Primal Bound     : +4.50000000000000e+01   (in run 1, after 1 nodes, 35.78 seconds, depth 0, found by <shifting>)
1794.13/1794.62	c   Dual Bound       : +7.47222222222222e+00
1794.13/1794.62	c   Gap              :     502.23 %
1794.13/1794.62	c   Root Dual Bound  : +0.00000000000000e+00
1794.43/1794.91	c Time complete: 1794.45.

Verifier Data 

OK	45

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870229-1245190823/watcher-1870229-1245190823 -o /tmp/evaluation-result-1870229-1245190823/solver-1870229-1245190823 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870229-1245190823.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 9707
/proc/meminfo: memFree=1847724/2055920 swapFree=4178716/4192956
[pid=9707] ppid=9705 vsize=7616 CPUtime=0
/proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 6718 0 -1 4194304 598 0 0 0 0 0 0 0 20 0 1 0 186680220 7798784 582 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/9707/statm: 1904 592 353 1256 0 643 0

[startup+0.0150969 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9707
/proc/meminfo: memFree=1847724/2055920 swapFree=4178716/4192956
[pid=9707] ppid=9705 vsize=11668 CPUtime=0
/proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 6718 0 -1 4194304 1855 0 0 0 0 0 0 0 20 0 1 0 186680220 11948032 1839 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0
/proc/9707/statm: 2917 1839 380 1256 0 1656 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11668

[startup+0.101105 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9707
/proc/meminfo: memFree=1847724/2055920 swapFree=4178716/4192956
[pid=9707] ppid=9705 vsize=25008 CPUtime=0.09
/proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 6718 0 -1 4194304 5210 0 0 0 7 2 0 0 20 0 1 0 186680220 25608192 5194 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0
/proc/9707/statm: 6252 5194 380 1256 0 4991 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25008

[startup+0.301126 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9707
/proc/meminfo: memFree=1847724/2055920 swapFree=4178716/4192956
[pid=9707] ppid=9705 vsize=52416 CPUtime=0.29
/proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 6718 0 -1 4194304 12238 0 0 0 25 4 0 0 22 0 1 0 186680220 53673984 11868 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9707/statm: 13104 11868 447 1256 0 11843 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52416

[startup+0.701168 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9707
/proc/meminfo: memFree=1847724/2055920 swapFree=4178716/4192956
[pid=9707] ppid=9705 vsize=74900 CPUtime=0.69
/proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 6718 0 -1 4194304 17837 0 0 0 63 6 0 0 25 0 1 0 186680220 76697600 17467 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9707/statm: 18725 17467 447 1256 0 17464 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 74900

[startup+1.50125 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9708
/proc/meminfo: memFree=1765412/2055920 swapFree=4178716/4192956
[pid=9707] ppid=9705 vsize=95908 CPUtime=1.49
/proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 6718 0 -1 4194304 23112 0 0 0 125 24 0 0 25 0 1 0 186680220 98209792 22742 1992294400 4194304 9342243 548682068736 18446744073709551615 5423104 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9707/statm: 23977 22742 470 1256 0 22716 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 95908

[startup+3.10141 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9708
/proc/meminfo: memFree=1757796/2055920 swapFree=4178716/4192956
[pid=9707] ppid=9705 vsize=160940 CPUtime=3.09
/proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 6718 0 -1 4194304 39006 0 0 0 279 30 0 0 25 0 1 0 186680220 164802560 36751 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9707/statm: 40235 36751 629 1256 0 38974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 160940

[startup+6.30174 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9708
/proc/meminfo: memFree=1701868/2055920 swapFree=4178716/4192956
[pid=9707] ppid=9705 vsize=160940 CPUtime=6.29
/proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 6718 0 -1 4194304 39207 0 0 0 598 31 0 0 25 0 1 0 186680220 164802560 36938 1992294400 4194304 9342243 548682068736 18446744073709551615 5597699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9707/statm: 40235 36938 634 1256 0 38974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 160940

[startup+12.7014 s]
/proc/loadavg: 1.39 1.08 1.03 2/65 9708
/proc/meminfo: memFree=1691052/2055920 swapFree=4178716/4192956
[pid=9707] ppid=9705 vsize=170424 CPUtime=12.69
/proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 6718 0 -1 4194304 41823 0 0 0 1206 63 0 0 25 0 1 0 186680220 174514176 39554 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9707/statm: 42606 39554 650 1256 0 41345 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 170424

[startup+25.5057 s]
/proc/loadavg: 1.48 1.11 1.04 2/65 9708
/proc/meminfo: memFree=1684844/2055920 swapFree=4178716/4192956
[pid=9707] ppid=9705 vsize=177960 CPUtime=25.49
/proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 6718 0 -1 4194304 44911 0 0 0 2480 69 0 0 25 0 1 0 186680220 182231040 41106 1992294400 4194304 9342243 548682068736 18446744073709551615 5575805 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9707/statm: 44490 41106 650 1256 0 43229 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 177960

[startup+51.1013 s]
/proc/loadavg: 1.40 1.13 1.04 2/65 9708
/proc/meminfo: memFree=1676780/2055920 swapFree=4178716/4192956
[pid=9707] ppid=9705 vsize=183612 CPUtime=51.08
/proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 6718 0 -1 4194304 78477 0 0 0 5018 90 0 0 25 0 1 0 186680220 188018688 43234 1992294400 4194304 9342243 548682068736 18446744073709551615 6941102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9707/statm: 45903 43234 679 1256 0 44642 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 183612

[startup+102.302 s]
/proc/loadavg: 1.17 1.11 1.04 2/65 9708
/proc/meminfo: memFree=1675820/2055920 swapFree=4178716/4192956
[pid=9707] ppid=9705 vsize=183612 CPUtime=102.26
/proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 6718 0 -1 4194304 78813 0 0 0 10132 94 0 0 25 0 1 0 186680220 188018688 43570 1992294400 4194304 9342243 548682068736 18446744073709551615 6037747 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9707/statm: 45903 43570 683 1256 0 44642 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 183612

[startup+162.302 s]
/proc/loadavg: 1.06 1.09 1.03 2/65 9708
/proc/meminfo: memFree=1678252/2055920 swapFree=4178716/4192956
[pid=9707] ppid=9705 vsize=180172 CPUtime=162.24
/proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 6718 0 -1 4194304 79262 0 0 0 16126 98 0 0 25 0 1 0 186680220 184496128 42847 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9707/statm: 45043 42847 689 1256 0 43782 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 180172

[startup+222.302 s]
/proc/loadavg: 1.02 1.07 1.03 2/65 9708
/proc/meminfo: memFree=1677996/2055920 swapFree=4178716/4192956
[pid=9707] ppid=9705 vsize=180172 CPUtime=222.24
/proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 6718 0 -1 4194304 79327 0 0 0 22123 101 0 0 25 0 1 0 186680220 184496128 42912 1992294400 4194304 9342243 548682068736 18446744073709551615 6065148 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9707/statm: 45043 42912 689 1256 0 43782 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 180172

[startup+282.301 s]
/proc/loadavg: 1.01 1.05 1.02 2/65 9708
/proc/meminfo: memFree=1671020/2055920 swapFree=4178716/4192956
[pid=9707] ppid=9705 vsize=187532 CPUtime=282.22
/proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 6718 0 -1 4194304 81143 0 0 0 28114 108 0 0 25 0 1 0 186680220 192032768 44728 1992294400 4194304 9342243 548682068736 18446744073709551615 6018146 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9707/statm: 46883 44728 691 1256 0 45622 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 187532

[startup+342.305 s]
/proc/loadavg: 1.00 1.04 1.02 2/65 9708
/proc/meminfo: memFree=1669932/2055920 swapFree=4178716/4192956
[pid=9707] ppid=9705 vsize=188776 CPUtime=342.2
/proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 6718 0 -1 4194304 82941 0 0 0 34107 113 0 0 25 0 1 0 186680220 193306624 44918 1992294400 4194304 9342243 548682068736 18446744073709551615 6038036 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9707/statm: 47194 44918 691 1256 0 45933 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 188776

[startup+402.301 s]
/proc/loadavg: 1.00 1.03 1.01 2/65 9708
/proc/meminfo: memFree=1667180/2055920 swapFree=4178716/4192956
[pid=9707] ppid=9705 vsize=192528 CPUtime=402.19
/proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 6718 0 -1 4194304 83624 0 0 0 40100 119 0 0 25 0 1 0 186680220 197148672 45601 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9707/statm: 48132 45601 691 1256 0 46871 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 192528

[startup+462.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 9708
/proc/meminfo: memFree=1666604/2055920 swapFree=4178716/4192956
[pid=9707] ppid=9705 vsize=193184 CPUtime=462.17
/proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 6718 0 -1 4194304 85247 0 0 0 46092 125 0 0 25 0 1 0 186680220 197820416 45737 1992294400 4194304 9342243 548682068736 18446744073709551615 6938534 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9707/statm: 48296 45737 691 1256 0 47035 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 193184

[startup+522.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 9708
/proc/meminfo: memFree=1668076/2055920 swapFree=4178716/4192956
[pid=9707] ppid=9705 vsize=192364 CPUtime=522.16
/proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 6718 0 -1 4194304 88804 0 0 0 52084 132 0 0 25 0 1 0 186680220 196980736 45436 1992294400 4194304 9342243 548682068736 18446744073709551615 6064952 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9707/statm: 48091 45436 691 1256 0 46830 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 192364

[startup+582.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 9708
/proc/meminfo: memFree=1661804/2055920 swapFree=4178716/4192956
[pid=9707] ppid=9705 vsize=197224 CPUtime=582.14
/proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 6718 0 -1 4194304 91240 0 0 0 58075 139 0 0 25 0 1 0 186680220 201957376 46932 1992294400 4194304 9342243 548682068736 18446744073709551615 4244796 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9707/statm: 49306 46932 691 1256 0 48045 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 197224

[startup+642.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 9708
/proc/meminfo: memFree=1659628/2055920 swapFree=4178716/4192956
[pid=9707] ppid=9705 vsize=201636 CPUtime=642.13
/proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 6718 0 -1 4194304 93035 0 0 0 64067 146 0 0 25 0 1 0 186680220 206475264 47478 1992294400 4194304 9342243 548682068736 18446744073709551615 6040633 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9707/statm: 50409 47478 692 1256 0 49148 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 201636

[startup+702.301 s]

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

/proc/meminfo: memFree=1654828/2055920 swapFree=4178716/4192956
[pid=9707] ppid=9705 vsize=203468 CPUtime=1062.02
/proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 6718 0 -1 4194304 123057 0 0 0 105997 205 0 0 25 0 1 0 186680220 208351232 48631 1992294400 4194304 9342243 548682068736 18446744073709551615 6939001 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9707/statm: 50867 48631 702 1256 0 49606 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 203468

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9708
/proc/meminfo: memFree=1651820/2055920 swapFree=4178716/4192956
[pid=9707] ppid=9705 vsize=208048 CPUtime=1122.01
/proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 6718 0 -1 4194304 123792 0 0 0 111990 211 0 0 25 0 1 0 186680220 213041152 49366 1992294400 4194304 9342243 548682068736 18446744073709551615 6959589 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9707/statm: 52012 49366 702 1256 0 50751 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 208048

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9708
/proc/meminfo: memFree=1649772/2055920 swapFree=4178716/4192956
[pid=9707] ppid=9705 vsize=208696 CPUtime=1181.99
/proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 6718 0 -1 4194304 125776 0 0 0 117982 217 0 0 25 0 1 0 186680220 213704704 49893 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9707/statm: 52174 49893 702 1256 0 50913 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 208696

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9708
/proc/meminfo: memFree=1648812/2055920 swapFree=4178716/4192956
[pid=9707] ppid=9705 vsize=208248 CPUtime=1241.98
/proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 6718 0 -1 4194304 147160 0 0 0 123965 233 0 0 25 0 1 0 186680220 213245952 50108 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9707/statm: 52062 50108 702 1256 0 50801 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 208248

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9708
/proc/meminfo: memFree=1651180/2055920 swapFree=4178716/4192956
[pid=9707] ppid=9705 vsize=207772 CPUtime=1301.95
/proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 6718 0 -1 4194304 150149 0 0 0 129956 239 0 0 25 0 1 0 186680220 212758528 49504 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9707/statm: 51943 49504 702 1256 0 50682 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 207772

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 9708
/proc/meminfo: memFree=1647276/2055920 swapFree=4178716/4192956
[pid=9707] ppid=9705 vsize=216128 CPUtime=1361.94
/proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 6718 0 -1 4194304 151122 0 0 0 135950 244 0 0 25 0 1 0 186680220 221315072 50477 1992294400 4194304 9342243 548682068736 18446744073709551615 6040633 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9707/statm: 54032 50477 702 1256 0 52771 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 216128

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9708
/proc/meminfo: memFree=1648044/2055920 swapFree=4178716/4192956
[pid=9707] ppid=9705 vsize=209692 CPUtime=1421.93
/proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 6718 0 -1 4194304 153456 0 0 0 141941 252 0 0 25 0 1 0 186680220 214724608 50296 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9707/statm: 52423 50296 702 1256 0 51162 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 209692

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9708
/proc/meminfo: memFree=1647852/2055920 swapFree=4178716/4192956
[pid=9707] ppid=9705 vsize=209852 CPUtime=1481.91
/proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 6718 0 -1 4194304 155470 0 0 0 147932 259 0 0 25 0 1 0 186680220 214888448 50318 1992294400 4194304 9342243 548682068736 18446744073709551615 6960563 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9707/statm: 52463 50318 702 1256 0 51202 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 209852

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9708
/proc/meminfo: memFree=1648108/2055920 swapFree=4178716/4192956
[pid=9707] ppid=9705 vsize=209864 CPUtime=1541.9
/proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 6718 0 -1 4194304 172218 0 0 0 153918 272 0 0 25 0 1 0 186680220 214900736 50251 1992294400 4194304 9342243 548682068736 18446744073709551615 6040629 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9707/statm: 52466 50251 702 1256 0 51205 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 209864

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9708
/proc/meminfo: memFree=1648364/2055920 swapFree=4178716/4192956
[pid=9707] ppid=9705 vsize=210004 CPUtime=1601.88
/proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 6718 0 -1 4194304 174422 0 0 0 159908 280 0 0 25 0 1 0 186680220 215044096 50184 1992294400 4194304 9342243 548682068736 18446744073709551615 6978094 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9707/statm: 52501 50184 702 1256 0 51240 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 210004

[startup+1662.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9708
/proc/meminfo: memFree=1648108/2055920 swapFree=4178716/4192956
[pid=9707] ppid=9705 vsize=209792 CPUtime=1661.87
/proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 6718 0 -1 4194304 175249 0 0 0 165901 286 0 0 25 0 1 0 186680220 214827008 50226 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9707/statm: 52448 50226 702 1256 0 51187 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 209792

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9708
/proc/meminfo: memFree=1650156/2055920 swapFree=4178716/4192956
[pid=9707] ppid=9705 vsize=208236 CPUtime=1721.85
/proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 6718 0 -1 4194304 178327 0 0 0 171891 294 0 0 25 0 1 0 186680220 213233664 49703 1992294400 4194304 9342243 548682068736 18446744073709551615 6957765 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9707/statm: 52059 49703 702 1256 0 50798 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 208236

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9708
/proc/meminfo: memFree=1644844/2055920 swapFree=4178716/4192956
[pid=9707] ppid=9705 vsize=215424 CPUtime=1781.84
/proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 6718 0 -1 4194304 179667 0 0 0 177884 300 0 0 25 0 1 0 186680220 220594176 51043 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9707/statm: 53856 51043 702 1256 0 52595 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 215424

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

[startup+1785.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9708
/proc/meminfo: memFree=1644844/2055920 swapFree=4178716/4192956
[pid=9707] ppid=9705 vsize=215424 CPUtime=1785.23
/proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 6718 0 -1 4194304 179667 0 0 0 178223 300 0 0 25 0 1 0 186680220 220594176 51043 1992294400 4194304 9342243 548682068736 18446744073709551615 6959477 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9707/statm: 53856 51043 702 1256 0 52595 0
Current children cumulated CPU time (s) 1785.23
Current children cumulated vsize (KiB) 215424

[startup+1788.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9708
/proc/meminfo: memFree=1644844/2055920 swapFree=4178716/4192956
[pid=9707] ppid=9705 vsize=215424 CPUtime=1788.43
/proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 6718 0 -1 4194304 179667 0 0 0 178543 300 0 0 25 0 1 0 186680220 220594176 51043 1992294400 4194304 9342243 548682068736 18446744073709551615 6960832 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9707/statm: 53856 51043 702 1256 0 52595 0
Current children cumulated CPU time (s) 1788.43
Current children cumulated vsize (KiB) 215424

[startup+1792.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9708
/proc/meminfo: memFree=1644396/2055920 swapFree=4178716/4192956
[pid=9707] ppid=9705 vsize=215424 CPUtime=1791.64
/proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 6718 0 -1 4194304 179775 0 0 0 178863 301 0 0 25 0 1 0 186680220 220594176 51151 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9707/statm: 53856 51151 702 1256 0 52595 0
Current children cumulated CPU time (s) 1791.64
Current children cumulated vsize (KiB) 215424

[startup+1793.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9708
/proc/meminfo: memFree=1644396/2055920 swapFree=4178716/4192956
[pid=9707] ppid=9705 vsize=215424 CPUtime=1793.23
/proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 6718 0 -1 4194304 179775 0 0 0 179022 301 0 0 25 0 1 0 186680220 220594176 51151 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9707/statm: 53856 51151 702 1256 0 52595 0
Current children cumulated CPU time (s) 1793.23
Current children cumulated vsize (KiB) 215424

[startup+1794.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9708
/proc/meminfo: memFree=1644396/2055920 swapFree=4178716/4192956
[pid=9707] ppid=9705 vsize=215424 CPUtime=1794.03
/proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 6718 0 -1 4194304 179775 0 0 0 179102 301 0 0 25 0 1 0 186680220 220594176 51151 1992294400 4194304 9342243 548682068736 18446744073709551615 6958439 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9707/statm: 53856 51151 702 1256 0 52595 0
Current children cumulated CPU time (s) 1794.03
Current children cumulated vsize (KiB) 215424

[startup+1794.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9708
/proc/meminfo: memFree=1644396/2055920 swapFree=4178716/4192956
[pid=9707] ppid=9705 vsize=147016 CPUtime=1794.43
/proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 6718 0 -1 4194304 179777 0 0 0 179140 303 0 0 18 0 1 0 186680220 150544384 35843 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0
/proc/9707/statm: 36754 35843 19426 1256 0 35493 0
Current children cumulated CPU time (s) 1794.43
Current children cumulated vsize (KiB) 147016

Child status: 0
Real time (s): 1794.91
CPU time (s): 1794.46
CPU user time (s): 1791.4
CPU system time (s): 3.05154
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 253348

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

runsolver used 2.25366 second user time and 4.37533 second system time

The end

Launcher Data 

Begin job on node90 at 2009-06-17 00:20:23
IDJOB=1870229
IDBENCH=48113
IDSOLVER=684
FILE ID=node90/1870229-1245190823
PBS_JOBID= 9368280
Free space on /tmp= 66528 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_25_3.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-1870229-1245190823/watcher-1870229-1245190823 -o /tmp/evaluation-result-1870229-1245190823/solver-1870229-1245190823 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870229-1245190823.opb

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

MD5SUM BENCH= 0f5da0a781de7969842ad5c8dd7a6f1b
RANDOM SEED=251445923

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1848140 kB
Buffers:         31444 kB
Cached:         111904 kB
SwapCached:       8428 kB
Active:          55672 kB
Inactive:        98280 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1848140 kB
SwapTotal:     4192956 kB
SwapFree:      4178716 kB
Dirty:           11948 kB
Writeback:           0 kB
Mapped:          16268 kB
Slab:            39816 kB
Committed_AS:   103996 kB
PageTables:       1436 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66516 MiB
End job on node90 at 2009-06-17 00:50:18