Trace number 1870317

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.2SAT62 1796.3 1796.76

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_10_3.opb
MD5SUM31a0e10ee8ac2049545ec8eab33f6948
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark62
Best CPU time to get the best result obtained on this benchmark1796.3
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 69
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 constraint11
Maximum length of a constraint23
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)6316
Sum of products size (including duplicates)12632
Number of different products6316
Sum of products size12632

Quality of the solution as a function of time


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

Solver Data 

0.05/0.07	c SCIP version 1.1.0.7
0.05/0.07	c LP-Solver Clp 1.8.2
0.05/0.07	c user parameter file <scip.set> not found - using default parameters
0.05/0.07	c read problem <HOME/instance-1870317-1245197453.opb>
0.05/0.07	c original problem has 6816 variables (6816 bin, 0 int, 0 impl, 0 cont) and 6816 constraints
0.09/0.13	c start presolving problem
0.09/0.13	c presolving:
0.39/0.44	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 500 upgd conss, 184196 impls, 0 clqs
0.79/0.81	c    (0.6s) probing: 101/6816 (1.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.79/0.81	c    (0.6s) probing aborted: 100/100 successive totally useless probings
0.79/0.81	c presolving (2 rounds):
0.79/0.81	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.79/0.81	c  184196 implications, 0 cliques
0.79/0.81	c presolved problem has 6816 variables (6816 bin, 0 int, 0 impl, 0 cont) and 6816 constraints
0.79/0.81	c    6316 constraints of type <and>
0.79/0.81	c     500 constraints of type <logicor>
0.79/0.81	c transformed objective value is always integral (scale: 1)
0.79/0.81	c Presolving Time: 0.53
0.79/0.82	c OPT-NLC
0.79/0.82	c -----------------------------------------------------------------------------------------------
0.79/0.82	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.79/0.82	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.82	c limits/memory = c 1620
0.79/0.82	c # maximal time in seconds to run
0.79/0.82	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.82	c limits/time = c 1791
0.79/0.82	c # frequency for displaying node information lines
0.79/0.82	c # [type: int, range: [-1,2147483647], default: 100]
0.79/0.82	c display/freq = c 10000
0.79/0.82	c -----------------------------------------------------------------------------------------------
0.79/0.82	c start solving problem
0.79/0.82	c 
0.89/0.98	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.89/0.98	c   0.7s|     1 |     0 |  1000 |  33M|   0 |1000 |6816 |6816 |6816 |6816 |  13k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.00/1.06	o 104
1.00/1.06	c s 0.8s|     1 |     0 |  1000 |  33M|   0 |1000 |6816 |6816 |6816 |6816 |  13k|   0 |   0 |   0 | 0.000000e+00 | 1.040000e+02 |    Inf 
2.69/2.79	c   2.4s|     1 |     0 |  2501 |  34M|   0 |1000 |6816 |6816 |6816 |6816 |  14k|1001 |   0 |   0 | 0.000000e+00 | 1.040000e+02 |    Inf 
4.48/4.52	c   4.1s|     1 |     0 |  4002 |  34M|   0 |1000 |6816 |6816 |6816 |6816 |  15k|2002 |   0 |   0 | 0.000000e+00 | 1.040000e+02 |    Inf 
6.39/6.48	c   6.1s|     1 |     0 |  5502 |  35M|   0 |1000 |6816 |6816 |6816 |6816 |  16k|3003 |   0 |   0 | 0.000000e+00 | 1.040000e+02 |    Inf 
6.49/6.58	o 94
6.49/6.58	c s 6.2s|     1 |     0 |  5502 |  35M|   0 |1000 |6816 |6816 |6816 |6816 |  16k|3003 |   0 |   0 | 0.000000e+00 | 9.400000e+01 |    Inf 
8.58/8.63	c   8.2s|     1 |     0 |  7002 |  35M|   0 |1000 |6816 |6816 |6816 |6816 |  17k|4005 |   0 |   0 | 0.000000e+00 | 9.400000e+01 |    Inf 
8.69/8.73	o 92
8.69/8.73	c s 8.3s|     1 |     0 |  7002 |  35M|   0 |1000 |6816 |6816 |6816 |6816 |  17k|4005 |   0 |   0 | 0.000000e+00 | 9.200000e+01 |    Inf 
15.39/15.46	c  15.0s|     1 |     0 | 11528 |  36M|   0 |2447 |6816 |6816 |6816 |6816 |  18k|5006 |   0 |   0 | 2.593010e+01 | 9.200000e+01 | 254.80%
42.66/42.74	c  42.2s|     1 |     0 | 18238 |  38M|   0 |3077 |6816 |6816 |6816 |6816 |  18k|5590 |   0 |   0 | 3.325078e+01 | 9.200000e+01 | 176.69%
87.45/87.57	c  86.9s|     1 |     0 | 22548 |  38M|   0 |3497 |6816 |6816 |6816 |6816 |  18k|5844 |   0 |   0 | 3.514454e+01 | 9.200000e+01 | 161.78%
109.25/109.37	c   109s|     1 |     0 | 25708 |  38M|   0 |3814 |6816 |6816 |6816 |6816 |  19k|5969 |   0 |   0 | 3.567158e+01 | 9.200000e+01 | 157.91%
130.44/130.59	c   130s|     1 |     0 | 27643 |  38M|   0 |4072 |6816 |6816 |6816 |6816 |  19k|6062 |   0 |   0 | 3.592958e+01 | 9.200000e+01 | 156.06%
152.93/153.02	c   152s|     1 |     0 | 28979 |  38M|   0 |4187 |6816 |6816 |6816 |6816 |  19k|6114 |   0 |   0 | 3.600643e+01 | 9.200000e+01 | 155.51%
176.72/176.87	c   176s|     1 |     0 | 29846 |  38M|   0 |4242 |6816 |6816 |6816 |6816 |7197 |6151 |   0 |   0 | 3.602851e+01 | 9.200000e+01 | 155.35%
181.52/181.70	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
181.52/181.70	c   181s|     1 |     0 | 30242 |  38M|   0 |4216 |6816 |6816 |6816 |6816 |7217 |6171 |   0 |   0 | 3.604100e+01 | 9.200000e+01 | 155.26%
185.73/185.80	c   185s|     1 |     0 | 30348 |  38M|   0 |4243 |6816 |6816 |6816 |6816 |7279 |6233 |   0 |   0 | 3.604110e+01 | 9.200000e+01 | 155.26%
189.52/189.68	c   189s|     1 |     0 | 30385 |  38M|   0 |4265 |6816 |6816 |6816 |6816 |7299 |6253 |   0 |   0 | 3.604112e+01 | 9.200000e+01 | 155.26%
193.73/193.83	c   193s|     1 |     0 | 30555 |  38M|   0 |4211 |6816 |6816 |6816 |6816 |7313 |6267 |   0 |   0 | 3.604436e+01 | 9.200000e+01 | 155.24%
197.72/197.88	c   197s|     1 |     0 | 30638 |  38M|   0 |4232 |6816 |6816 |6816 |6816 |7334 |6288 |   0 |   0 | 3.604462e+01 | 9.200000e+01 | 155.24%
204.12/204.21	c   203s|     1 |     0 | 30696 |  38M|   0 |4242 |6816 |6816 |6816 |6816 |6500 |6301 |   0 |   0 | 3.604465e+01 | 9.200000e+01 | 155.24%
207.42/207.55	c   207s|     1 |     0 | 30704 |  38M|   0 |4240 |6816 |6816 |6816 |6816 |6506 |6307 |   0 |   0 | 3.604465e+01 | 9.200000e+01 | 155.24%
210.72/210.81	c   210s|     1 |     0 | 30711 |  38M|   0 |4241 |6816 |6816 |6816 |6816 |6512 |6313 |   0 |   0 | 3.604465e+01 | 9.200000e+01 | 155.24%
213.92/214.08	c   213s|     1 |     0 | 30715 |  38M|   0 |4242 |6816 |6816 |6816 |6816 |6516 |6317 |   0 |   0 | 3.604465e+01 | 9.200000e+01 | 155.24%
215.72/215.85	c   215s|     1 |     0 | 30716 |  38M|   0 |4242 |6816 |6816 |6816 |6816 |6517 |6318 |   0 |   0 | 3.604465e+01 | 9.200000e+01 | 155.24%
247.31/247.49	c   246s|     1 |     2 | 30716 |  38M|   0 |4242 |6816 |6816 |6816 |6816 |6517 |6318 |   0 |  30 | 3.604465e+01 | 9.200000e+01 | 155.24%
1479.91/1480.38	o 66
1479.91/1480.38	c *1477s|   109 |   104 |483308 |  41M|  84 |   - |6816 |6816 |5015 |6816 |  10k|  17k|   0 | 407 | 3.654167e+01 | 6.600000e+01 |  80.62%
1480.21/1480.65	o 64
1480.21/1480.65	c *1477s|   112 |   101 |483410 |  41M|  84 |   - |6816 |6816 |5141 |6816 |  10k|  17k|   0 | 407 | 3.654167e+01 | 6.400000e+01 |  75.14%
1480.51/1480.93	o 63
1480.51/1480.93	c *1478s|   114 |    96 |483418 |  41M|  84 |   - |6816 |6816 |3835 |6816 |  10k|  17k|   0 | 407 | 3.654167e+01 | 6.300000e+01 |  72.41%
1487.11/1487.54	o 62
1487.11/1487.54	c *1484s|   142 |    92 |488664 |  41M|  84 |   - |6816 |6816 |3947 |6816 |  10k|  17k|   0 | 407 | 3.654167e+01 | 6.200000e+01 |  69.67%
1796.13/1796.61	c 
1796.13/1796.61	c SCIP Status        : solving was interrupted [time limit reached]
1796.13/1796.61	c Solving Time (sec) : 1792.23
1796.13/1796.61	c Solving Nodes      : 227
1796.13/1796.61	c Primal Bound       : +6.20000000000000e+01 (7 solutions)
1796.13/1796.61	c Dual Bound         : +3.66264030097449e+01
1796.13/1796.61	c Gap                : 69.28 %
1796.13/1796.62	c NODE         227
1796.13/1796.62	c DUAL BOUND   36.6264
1796.13/1796.62	c PRIMAL BOUND 62
1796.13/1796.62	c GAP          0.692768
1796.13/1796.62	s SATISFIABLE
1796.13/1796.62	v -x500 -x499 -x498 -x497 -x496 x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 
1796.13/1796.62	v -x478 -x477 -x476 -x475 -x474 -x473 -x472 x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 
1796.13/1796.62	v -x457 -x456 -x455 -x454 -x453 -x452 x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 
1796.13/1796.62	v -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 
1796.13/1796.62	v -x415 -x414 -x413 -x412 x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 x395 
1796.13/1796.62	v -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 
1796.13/1796.62	v -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 x362 -x361 -x360 -x359 -x358 -x357 x356 -x355 -x354 x353 
1796.13/1796.62	v -x352 -x351 x350 -x349 -x348 -x347 x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 x337 -x336 -x335 -x334 -x333 -x332 
1796.13/1796.62	v -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 x318 -x317 -x316 -x315 x314 -x313 -x312 -x311 
1796.13/1796.62	v -x310 -x309 x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 x294 -x293 -x292 x291 -x290 -x289 
1796.13/1796.62	v x288 x287 -x286 x285 x284 -x283 -x282 -x281 -x280 -x279 -x278 x277 -x276 -x275 -x274 -x273 -x272 x271 -x270 -x269 -x268 -x267 
1796.13/1796.62	v -x266 x265 x264 x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 
1796.13/1796.62	v -x245 -x244 -x243 -x242 -x241 x240 -x239 -x238 -x237 -x236 -x235 x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 
1796.13/1796.62	v -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 x205 -x204 
1796.13/1796.62	v -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 x186 x185 -x184 x183 -x182 
1796.13/1796.62	v -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 x167 -x166 x165 -x164 -x163 -x162 -x161 
1796.13/1796.62	v -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 x148 -x147 -x146 x145 -x144 -x143 -x142 x141 -x140 -x139 
1796.13/1796.62	v -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 x120 -x119 -x118 
1796.13/1796.62	v -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 x103 x102 -x101 -x100 x99 -x98 -x97 -x96 
1796.13/1796.62	v -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 x78 x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 
1796.13/1796.62	v -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 x55 -x54 -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 
1796.13/1796.62	v -x44 x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 x32 x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 x23 -x22 -x21 -x20 -x19 
1796.13/1796.62	v -x18 -x17 -x16 -x15 -x14 x13 -x12 -x11 -x10 -x9 -x8 x7 -x6 x5 -x4 -x3 -x2 x1 
1796.13/1796.62	c SCIP Status        : solving was interrupted [time limit reached]
1796.13/1796.62	c Solving Time       :    1792.23
1796.13/1796.62	c Original Problem   :
1796.13/1796.62	c   Problem name     : HOME/instance-1870317-1245197453.opb
1796.13/1796.62	c   Variables        : 6816 (6816 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.13/1796.62	c   Constraints      : 6816 initial, 6816 maximal
1796.13/1796.62	c Presolved Problem  :
1796.13/1796.62	c   Problem name     : t_HOME/instance-1870317-1245197453.opb
1796.13/1796.62	c   Variables        : 6816 (6816 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.13/1796.62	c   Constraints      : 6816 initial, 6816 maximal
1796.13/1796.62	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1796.13/1796.62	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1796.13/1796.62	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1796.13/1796.62	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1796.13/1796.62	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1796.13/1796.62	c   implics          :       0.00          0          0          0          0          0          0          0          0
1796.13/1796.62	c   probing          :       0.22          0          0          0          0          0          0          0          0
1796.13/1796.62	c   and              :       0.26          0          0          0          0          0          0          0          0
1796.13/1796.62	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1796.13/1796.62	c   root node        :          -          0          -          -          0          -          -          -          -
1796.13/1796.62	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1796.13/1796.62	c   integral         :          0          0          0        182          0          1          0          0          0        354
1796.13/1796.62	c   and              :       6316        693       6895          4          1          0      16591      24639          0          0
1796.13/1796.62	c   logicor          :        500         21       2801          4          1          0          0          0          0          0
1796.13/1796.62	c   countsols        :          0          0          0          4          1          0          0          0          0          0
1796.13/1796.62	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1796.13/1796.62	c   integral         :     429.33       0.00       0.00     429.33       0.00
1796.13/1796.62	c   and              :       7.81       4.91       2.90       0.00       0.00
1796.13/1796.62	c   logicor          :       0.02       0.00       0.02       0.00       0.00
1796.13/1796.62	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1796.13/1796.62	c Propagators        :       Time      Calls    Cutoffs    DomReds
1796.13/1796.62	c   rootredcost      :       0.01          4          0          0
1796.13/1796.62	c   pseudoobj        :       0.50       6730          0          0
1796.13/1796.62	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.13/1796.62	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1796.13/1796.62	c   infeasible LP    :       0.08         49          0          0        0.0          0        0.0          0
1796.13/1796.62	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.13/1796.62	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.13/1796.62	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.13/1796.62	c   applied globally :          -          -          -          0        0.0          -          -          -
1796.13/1796.62	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.13/1796.62	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1796.13/1796.62	c   cut pool         :       0.02         20          -          -         13          -    (maximal pool size: 6297)
1796.13/1796.62	c   redcost          :       0.61        694          0       2383          0          0
1796.13/1796.62	c   impliedbounds    :       0.19         21          0          0       6624          0
1796.13/1796.62	c   intobj           :       0.00          0          0          0          0          0
1796.13/1796.62	c   gomory           :      77.98         21          0          0       2969          0
1796.13/1796.62	c   strongcg         :      65.12         20          0          0       3103          0
1796.13/1796.62	c   cmir             :       8.37         10          0          0       2500          0
1796.13/1796.62	c   flowcover        :       4.69         10          0          0          0          0
1796.13/1796.62	c   clique           :       0.32         21          0          0         14          0
1796.13/1796.62	c   zerohalf         :       0.00          0          0          0          0          0
1796.13/1796.62	c   mcf              :       0.03          1          0          0          0          0
1796.13/1796.62	c Pricers            :       Time      Calls       Vars
1796.13/1796.62	c   problem variables:       0.00          0          0
1796.13/1796.62	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.13/1796.62	c   relpscost        :     429.32        178          1          0          0          0        354
1796.13/1796.62	c   pscost           :       0.00          0          0          0          0          0          0
1796.13/1796.62	c   inference        :       0.00          1          0          0          0          0          2
1796.13/1796.62	c   mostinf          :       0.00          0          0          0          0          0          0
1796.13/1796.62	c   leastinf         :       0.00          0          0          0          0          0          0
1796.13/1796.62	c   fullstrong       :       0.00          0          0          0          0          0          0
1796.13/1796.62	c   allfullstrong    :       0.00          0          0          0          0          0          0
1796.13/1796.62	c   random           :       0.00          0          0          0          0          0          0
1796.13/1796.62	c Primal Heuristics  :       Time      Calls      Found
1796.13/1796.62	c   LP solutions     :       0.00          -          4
1796.13/1796.62	c   pseudo solutions :       0.00          -          0
1796.13/1796.62	c   crossover        :       0.00          0          0
1796.13/1796.62	c   oneopt           :       0.05          5          0
1796.13/1796.62	c   guideddiving     :      58.92          1          0
1796.13/1796.62	c   veclendiving     :      76.95          2          0
1796.13/1796.62	c   coefdiving       :      77.53          2          0
1796.13/1796.62	c   rootsoldiving    :      20.70          1          0
1796.13/1796.62	c   pscostdiving     :     109.15          2          0
1796.13/1796.62	c   fracdiving       :      69.32          2          0
1796.13/1796.62	c   linesearchdiving :     112.63          2          0
1796.13/1796.62	c   objpscostdiving  :      30.53          2          0
1796.13/1796.62	c   simplerounding   :       0.00          0          0
1796.13/1796.62	c   rounding         :      19.69        346          0
1796.13/1796.62	c   shifting         :       4.80         75          3
1796.13/1796.62	c   intshifting      :       0.00          0          0
1796.13/1796.62	c   fixandinfer      :       0.00          0          0
1796.13/1796.62	c   feaspump         :       0.00          0          0
1796.13/1796.62	c   intdiving        :       0.00          0          0
1796.13/1796.62	c   actconsdiving    :       0.00          0          0
1796.13/1796.62	c   octane           :       0.00          0          0
1796.13/1796.62	c   rens             :       0.02          0          0
1796.13/1796.62	c   rins             :       0.00          0          0
1796.13/1796.62	c   localbranching   :       0.00          0          0
1796.13/1796.62	c   mutation         :       0.00          0          0
1796.13/1796.62	c   dins             :       0.00          0          0
1796.13/1796.62	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1796.13/1796.62	c   primal LP        :     189.54          0          0       0.00       0.00
1796.13/1796.62	c   dual LP          :     422.12        817     255887     313.20     606.19
1796.13/1796.62	c   barrier LP       :       0.00          0          0       0.00          -
1796.13/1796.62	c   diving/probing LP:     537.15       3233     346173     107.07     644.46
1796.13/1796.62	c   strong branching :     429.07        488     251232     514.82     585.53
1796.13/1796.62	c     (at root node) :          -         30      15274     509.13          -
1796.13/1796.62	c   conflict analysis:       0.00          0          0       0.00          -
1796.13/1796.62	c B&B Tree           :
1796.13/1796.62	c   number of runs   :          1
1796.13/1796.62	c   nodes            :        227
1796.13/1796.62	c   nodes (total)    :        227
1796.13/1796.62	c   nodes left       :        113
1796.13/1796.62	c   max depth        :         84
1796.13/1796.62	c   max depth (total):         84
1796.13/1796.62	c   backtracks       :         39 (17.2%)
1796.13/1796.62	c   delayed cutoffs  :          0
1796.13/1796.62	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1796.13/1796.62	c   avg switch length:       3.40
1796.13/1796.62	c   switching time   :     184.51
1796.13/1796.62	c Solution           :
1796.13/1796.62	c   Solutions found  :          7 (7 improvements)
1796.13/1796.62	c   Primal Bound     : +6.20000000000000e+01   (in run 1, after 142 nodes, 1484.22 seconds, depth 79, found by <relaxation>)
1796.13/1796.62	c   Dual Bound       : +3.66264030097449e+01
1796.13/1796.62	c   Gap              :      69.28 %
1796.13/1796.62	c   Root Dual Bound  : +3.60446483629167e+01
1796.23/1796.75	c Time complete: 1796.29.

Verifier Data 

OK	62

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 782
/proc/meminfo: memFree=1878256/2055920 swapFree=4181500/4192956
[pid=782] ppid=780 vsize=5816 CPUtime=0
/proc/782/stat : 782 (pbscip.linux.x8) R 780 782 499 0 -1 4194304 535 0 0 0 0 0 0 0 18 0 1 0 187345107 5955584 519 1992294400 4194304 9342243 548682068736 18446744073709551615 8169232 0 0 4096 0 0 0 0 17 1 0 0
/proc/782/statm: 1454 523 350 1256 0 193 0

[startup+0.0581549 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 782
/proc/meminfo: memFree=1878256/2055920 swapFree=4181500/4192956
[pid=782] ppid=780 vsize=17168 CPUtime=0.05
/proc/782/stat : 782 (pbscip.linux.x8) R 780 782 499 0 -1 4194304 3279 0 0 0 4 1 0 0 18 0 1 0 187345107 17580032 3263 1992294400 4194304 9342243 548682068736 18446744073709551615 4486084 0 0 4096 0 0 0 0 17 1 0 0
/proc/782/statm: 4292 3263 380 1256 0 3031 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 17168

[startup+0.102158 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 782
/proc/meminfo: memFree=1878256/2055920 swapFree=4181500/4192956
[pid=782] ppid=780 vsize=28560 CPUtime=0.09
/proc/782/stat : 782 (pbscip.linux.x8) R 780 782 499 0 -1 4194304 6494 0 0 0 7 2 0 0 18 0 1 0 187345107 29245440 6124 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 16384 0 0 0 17 1 0 0
/proc/782/statm: 7140 6124 413 1256 0 5879 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28560

[startup+0.302176 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 782
/proc/meminfo: memFree=1878256/2055920 swapFree=4181500/4192956
[pid=782] ppid=780 vsize=41752 CPUtime=0.29
/proc/782/stat : 782 (pbscip.linux.x8) R 780 782 499 0 -1 4194304 9569 0 0 0 25 4 0 0 19 0 1 0 187345107 42754048 9199 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/782/statm: 10438 9199 447 1256 0 9177 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41752

[startup+0.701212 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 782
/proc/meminfo: memFree=1878256/2055920 swapFree=4181500/4192956
[pid=782] ppid=780 vsize=41752 CPUtime=0.69
/proc/782/stat : 782 (pbscip.linux.x8) R 780 782 499 0 -1 4194304 9708 0 0 0 50 19 0 0 22 0 1 0 187345107 42754048 9338 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/782/statm: 10438 9338 483 1256 0 9177 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41752

[startup+1.50128 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 783
/proc/meminfo: memFree=1818216/2055920 swapFree=4181500/4192956
[pid=782] ppid=780 vsize=71148 CPUtime=1.49
/proc/782/stat : 782 (pbscip.linux.x8) R 780 782 499 0 -1 4194304 16185 0 0 0 127 22 0 0 25 0 1 0 187345107 72855552 15729 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/782/statm: 17787 15729 632 1256 0 16526 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 71148

[startup+3.10144 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 783
/proc/meminfo: memFree=1817384/2055920 swapFree=4181500/4192956
[pid=782] ppid=780 vsize=74596 CPUtime=3.08
/proc/782/stat : 782 (pbscip.linux.x8) R 780 782 499 0 -1 4194304 16935 0 0 0 276 32 0 0 25 0 1 0 187345107 76386304 16476 1992294400 4194304 9342243 548682068736 18446744073709551615 4802001 0 0 4096 16384 0 0 0 17 0 0 0
/proc/782/statm: 18649 16476 650 1256 0 17388 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 74596

[startup+6.30172 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 783
/proc/meminfo: memFree=1811640/2055920 swapFree=4181500/4192956
[pid=782] ppid=780 vsize=76636 CPUtime=6.28
/proc/782/stat : 782 (pbscip.linux.x8) R 780 782 499 0 -1 4194304 17659 0 0 0 594 34 0 0 25 0 1 0 187345107 78475264 17192 1992294400 4194304 9342243 548682068736 18446744073709551615 4297830 0 0 4096 16384 0 0 0 17 1 0 0
/proc/782/statm: 19159 17192 650 1256 0 17898 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 76636

[startup+12.7013 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 783
/proc/meminfo: memFree=1805184/2055920 swapFree=4181500/4192956
[pid=782] ppid=780 vsize=88004 CPUtime=12.68
/proc/782/stat : 782 (pbscip.linux.x8) R 780 782 499 0 -1 4194304 19731 0 0 0 1230 38 0 0 25 0 1 0 187345107 90116096 18896 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/782/statm: 22001 18896 652 1256 0 20740 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 88004

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 783
/proc/meminfo: memFree=1804352/2055920 swapFree=4181500/4192956
[pid=782] ppid=780 vsize=87536 CPUtime=25.47
/proc/782/stat : 782 (pbscip.linux.x8) R 780 782 499 0 -1 4194304 20261 0 0 0 2507 40 0 0 25 0 1 0 187345107 89636864 19015 1992294400 4194304 9342243 548682068736 18446744073709551615 4338467 0 0 4096 16384 0 0 0 17 1 0 0
/proc/782/statm: 21884 19015 652 1256 0 20623 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 87536

[startup+51.1018 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 783
/proc/meminfo: memFree=1796992/2055920 swapFree=4181500/4192956
[pid=782] ppid=780 vsize=96620 CPUtime=51.06
/proc/782/stat : 782 (pbscip.linux.x8) R 780 782 499 0 -1 4194304 28596 0 0 0 5057 49 0 0 25 0 1 0 187345107 98938880 20918 1992294400 4194304 9342243 548682068736 18446744073709551615 7534372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/782/statm: 24155 20918 662 1256 0 22894 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 96620

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 783
/proc/meminfo: memFree=1795328/2055920 swapFree=4181500/4192956
[pid=782] ppid=780 vsize=97864 CPUtime=102.25
/proc/782/stat : 782 (pbscip.linux.x8) R 780 782 499 0 -1 4194304 33635 0 0 0 10165 60 0 0 25 0 1 0 187345107 100212736 21462 1992294400 4194304 9342243 548682068736 18446744073709551615 6953121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/782/statm: 24466 21462 662 1256 0 23205 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 97864

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 783
/proc/meminfo: memFree=1794752/2055920 swapFree=4181500/4192956
[pid=782] ppid=780 vsize=100820 CPUtime=162.23
/proc/782/stat : 782 (pbscip.linux.x8) R 780 782 499 0 -1 4194304 39535 0 0 0 16148 75 0 0 25 0 1 0 187345107 103239680 21451 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/782/statm: 25205 21451 662 1256 0 23944 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 100820

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 783
/proc/meminfo: memFree=1794816/2055920 swapFree=4181500/4192956
[pid=782] ppid=780 vsize=91096 CPUtime=222.22
/proc/782/stat : 782 (pbscip.linux.x8) R 780 782 499 0 -1 4194304 41017 0 0 0 22132 90 0 0 25 0 1 0 187345107 93282304 21447 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/782/statm: 22774 21447 682 1256 0 21513 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 91096

[startup+282.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 783
/proc/meminfo: memFree=1794496/2055920 swapFree=4181500/4192956
[pid=782] ppid=780 vsize=92092 CPUtime=282.2
/proc/782/stat : 782 (pbscip.linux.x8) R 780 782 499 0 -1 4194304 41086 0 0 0 28125 95 0 0 25 0 1 0 187345107 94302208 21516 1992294400 4194304 9342243 548682068736 18446744073709551615 6953093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/782/statm: 23023 21516 682 1256 0 21762 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 92092

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 783
/proc/meminfo: memFree=1793920/2055920 swapFree=4181500/4192956
[pid=782] ppid=780 vsize=95484 CPUtime=342.18
/proc/782/stat : 782 (pbscip.linux.x8) R 780 782 499 0 -1 4194304 41236 0 0 0 34117 101 0 0 25 0 1 0 187345107 97775616 21666 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/782/statm: 23871 21666 689 1256 0 22610 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 95484

[startup+402.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 783
/proc/meminfo: memFree=1793856/2055920 swapFree=4181500/4192956
[pid=782] ppid=780 vsize=95484 CPUtime=402.18
/proc/782/stat : 782 (pbscip.linux.x8) R 780 782 499 0 -1 4194304 41237 0 0 0 40110 108 0 0 25 0 1 0 187345107 97775616 21667 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/782/statm: 23871 21667 689 1256 0 22610 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 95484

[startup+462.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 783
/proc/meminfo: memFree=1793792/2055920 swapFree=4181500/4192956
[pid=782] ppid=780 vsize=95484 CPUtime=462.16
/proc/782/stat : 782 (pbscip.linux.x8) R 780 782 499 0 -1 4194304 41263 0 0 0 46101 115 0 0 25 0 1 0 187345107 97775616 21693 1992294400 4194304 9342243 548682068736 18446744073709551615 6081083 0 0 4096 16384 0 0 0 17 1 0 0
/proc/782/statm: 23871 21693 689 1256 0 22610 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 95484

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 783
/proc/meminfo: memFree=1793600/2055920 swapFree=4181500/4192956
[pid=782] ppid=780 vsize=95484 CPUtime=522.15
/proc/782/stat : 782 (pbscip.linux.x8) R 780 782 499 0 -1 4194304 41303 0 0 0 52094 121 0 0 25 0 1 0 187345107 97775616 21733 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/782/statm: 23871 21733 689 1256 0 22610 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 95484

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 783
/proc/meminfo: memFree=1793856/2055920 swapFree=4181500/4192956
[pid=782] ppid=780 vsize=92404 CPUtime=582.12
/proc/782/stat : 782 (pbscip.linux.x8) R 780 782 499 0 -1 4194304 41482 0 0 0 58084 128 0 0 25 0 1 0 187345107 94621696 21656 1992294400 4194304 9342243 548682068736 18446744073709551615 6957856 0 0 4096 16384 0 0 0 17 1 0 0
/proc/782/statm: 23101 21656 689 1256 0 21840 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 92404

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 783
/proc/meminfo: memFree=1791744/2055920 swapFree=4181500/4192956
[pid=782] ppid=780 vsize=100516 CPUtime=642.12
/proc/782/stat : 782 (pbscip.linux.x8) R 780 782 499 0 -1 4194304 42024 0 0 0 64076 136 0 0 25 0 1 0 187345107 102928384 22198 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/782/statm: 25129 22198 689 1256 0 23868 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 100516

[startup+702.302 s]

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

/proc/meminfo: memFree=1788992/2055920 swapFree=4181500/4192956
[pid=782] ppid=780 vsize=97516 CPUtime=1062.02
/proc/782/stat : 782 (pbscip.linux.x8) R 780 782 499 0 -1 4194304 55644 0 0 0 106017 185 0 0 25 0 1 0 187345107 99856384 22856 1992294400 4194304 9342243 548682068736 18446744073709551615 6960298 0 0 4096 16384 0 0 0 17 1 0 0
/proc/782/statm: 24379 22856 692 1256 0 23118 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 97516

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 783
/proc/meminfo: memFree=1787776/2055920 swapFree=4181500/4192956
[pid=782] ppid=780 vsize=99620 CPUtime=1122
/proc/782/stat : 782 (pbscip.linux.x8) R 780 782 499 0 -1 4194304 55943 0 0 0 112008 192 0 0 25 0 1 0 187345107 102010880 23155 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/782/statm: 24905 23155 692 1256 0 23644 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 99620

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 783
/proc/meminfo: memFree=1785216/2055920 swapFree=4181500/4192956
[pid=782] ppid=780 vsize=101796 CPUtime=1181.98
/proc/782/stat : 782 (pbscip.linux.x8) R 780 782 499 0 -1 4194304 56573 0 0 0 118001 197 0 0 25 0 1 0 187345107 104239104 23785 1992294400 4194304 9342243 548682068736 18446744073709551615 6078441 0 0 4096 16384 0 0 0 17 1 0 0
/proc/782/statm: 25449 23785 692 1256 0 24188 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 101796

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 783
/proc/meminfo: memFree=1786880/2055920 swapFree=4181500/4192956
[pid=782] ppid=780 vsize=101056 CPUtime=1241.97
/proc/782/stat : 782 (pbscip.linux.x8) R 780 782 499 0 -1 4194304 57001 0 0 0 123993 204 0 0 25 0 1 0 187345107 103481344 23373 1992294400 4194304 9342243 548682068736 18446744073709551615 6938538 0 0 4096 16384 0 0 0 17 1 0 0
/proc/782/statm: 25264 23373 692 1256 0 24003 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 101056

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 783
/proc/meminfo: memFree=1784960/2055920 swapFree=4181500/4192956
[pid=782] ppid=780 vsize=110512 CPUtime=1301.96
/proc/782/stat : 782 (pbscip.linux.x8) R 780 782 499 0 -1 4194304 57903 0 0 0 129987 209 0 0 25 0 1 0 187345107 113164288 23840 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/782/statm: 27628 23840 692 1256 0 26367 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 110512

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 783
/proc/meminfo: memFree=1785984/2055920 swapFree=4181500/4192956
[pid=782] ppid=780 vsize=113652 CPUtime=1361.94
/proc/782/stat : 782 (pbscip.linux.x8) R 780 782 499 0 -1 4194304 74812 0 0 0 135971 223 0 0 25 0 1 0 187345107 116379648 23603 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/782/statm: 28413 23603 692 1256 0 27152 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 113652

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 783
/proc/meminfo: memFree=1786112/2055920 swapFree=4181500/4192956
[pid=782] ppid=780 vsize=103884 CPUtime=1421.93
/proc/782/stat : 782 (pbscip.linux.x8) R 780 782 499 0 -1 4194304 111782 0 0 0 141948 245 0 0 25 0 1 0 187345107 106377216 23503 1992294400 4194304 9342243 548682068736 18446744073709551615 6040629 0 0 4096 16384 0 0 0 17 1 0 0
/proc/782/statm: 25971 23503 692 1256 0 24710 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 103884

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 783
/proc/meminfo: memFree=1787456/2055920 swapFree=4181500/4192956
[pid=782] ppid=780 vsize=107176 CPUtime=1481.91
/proc/782/stat : 782 (pbscip.linux.x8) R 780 782 499 0 -1 4194304 165963 0 0 0 147908 283 0 0 25 0 1 0 187345107 109748224 23237 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/782/statm: 26794 23237 695 1256 0 25533 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 107176

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 783
/proc/meminfo: memFree=1785792/2055920 swapFree=4181500/4192956
[pid=782] ppid=780 vsize=112280 CPUtime=1541.9
/proc/782/stat : 782 (pbscip.linux.x8) R 780 782 499 0 -1 4194304 199716 0 0 0 153885 305 0 0 25 0 1 0 187345107 114974720 23614 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/782/statm: 28070 23614 695 1256 0 26809 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 112280

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 783
/proc/meminfo: memFree=1787392/2055920 swapFree=4181500/4192956
[pid=782] ppid=780 vsize=107292 CPUtime=1601.88
/proc/782/stat : 782 (pbscip.linux.x8) R 780 782 499 0 -1 4194304 226939 0 0 0 159863 325 0 0 25 0 1 0 187345107 109867008 23229 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/782/statm: 26823 23229 695 1256 0 25562 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 107292

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 783
/proc/meminfo: memFree=1787008/2055920 swapFree=4181500/4192956
[pid=782] ppid=780 vsize=104524 CPUtime=1661.87
/proc/782/stat : 782 (pbscip.linux.x8) R 780 782 499 0 -1 4194304 241392 0 0 0 165850 337 0 0 25 0 1 0 187345107 107032576 23306 1992294400 4194304 9342243 548682068736 18446744073709551615 6974259 0 0 4096 16384 0 0 0 17 1 0 0
/proc/782/statm: 26131 23306 695 1256 0 24870 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 104524

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 783
/proc/meminfo: memFree=1786368/2055920 swapFree=4181500/4192956
[pid=782] ppid=780 vsize=104492 CPUtime=1721.85
/proc/782/stat : 782 (pbscip.linux.x8) R 780 782 499 0 -1 4194304 293022 0 0 0 171812 373 0 0 25 0 1 0 187345107 106999808 23493 1992294400 4194304 9342243 548682068736 18446744073709551615 6965605 0 0 4096 16384 0 0 0 17 1 0 0
/proc/782/statm: 26123 23493 695 1256 0 24862 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 104492

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 783
/proc/meminfo: memFree=1785664/2055920 swapFree=4181500/4192956
[pid=782] ppid=780 vsize=112928 CPUtime=1781.83
/proc/782/stat : 782 (pbscip.linux.x8) R 780 782 499 0 -1 4194304 306511 0 0 0 177799 384 0 0 25 0 1 0 187345107 115638272 23632 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/782/statm: 28232 23632 695 1256 0 26971 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 112928

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 783
/proc/meminfo: memFree=1785664/2055920 swapFree=4181500/4192956
[pid=782] ppid=780 vsize=112928 CPUtime=1785.04
/proc/782/stat : 782 (pbscip.linux.x8) R 780 782 499 0 -1 4194304 306889 0 0 0 178119 385 0 0 25 0 1 0 187345107 115638272 23634 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/782/statm: 28232 23634 695 1256 0 26971 0
Current children cumulated CPU time (s) 1785.04
Current children cumulated vsize (KiB) 112928

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 783
/proc/meminfo: memFree=1785536/2055920 swapFree=4181500/4192956
[pid=782] ppid=780 vsize=112928 CPUtime=1791.44
/proc/782/stat : 782 (pbscip.linux.x8) R 780 782 499 0 -1 4194304 307577 0 0 0 178758 386 0 0 25 0 1 0 187345107 115638272 23664 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/782/statm: 28232 23664 695 1256 0 26971 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (KiB) 112928

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 783
/proc/meminfo: memFree=1785728/2055920 swapFree=4181500/4192956
[pid=782] ppid=780 vsize=104316 CPUtime=1794.64
/proc/782/stat : 782 (pbscip.linux.x8) R 780 782 499 0 -1 4194304 307800 0 0 0 179078 386 0 0 25 0 1 0 187345107 106819584 23605 1992294400 4194304 9342243 548682068736 18446744073709551615 6960342 0 0 4096 16384 0 0 0 17 1 0 0
/proc/782/statm: 26079 23605 695 1256 0 24818 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (KiB) 104316

[startup+1795.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 783
/proc/meminfo: memFree=1785728/2055920 swapFree=4181500/4192956
[pid=782] ppid=780 vsize=104316 CPUtime=1795.43
/proc/782/stat : 782 (pbscip.linux.x8) R 780 782 499 0 -1 4194304 307800 0 0 0 179157 386 0 0 25 0 1 0 187345107 106819584 23605 1992294400 4194304 9342243 548682068736 18446744073709551615 6960310 0 0 4096 16384 0 0 0 17 1 0 0
/proc/782/statm: 26079 23605 695 1256 0 24818 0
Current children cumulated CPU time (s) 1795.43
Current children cumulated vsize (KiB) 104316

[startup+1796.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 783
/proc/meminfo: memFree=1785728/2055920 swapFree=4181500/4192956
[pid=782] ppid=780 vsize=104316 CPUtime=1795.84
/proc/782/stat : 782 (pbscip.linux.x8) R 780 782 499 0 -1 4194304 307800 0 0 0 179198 386 0 0 25 0 1 0 187345107 106819584 23605 1992294400 4194304 9342243 548682068736 18446744073709551615 6974267 0 0 4096 16384 0 0 0 17 1 0 0
/proc/782/statm: 26079 23605 695 1256 0 24818 0
Current children cumulated CPU time (s) 1795.84
Current children cumulated vsize (KiB) 104316

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 783
/proc/meminfo: memFree=1785728/2055920 swapFree=4181500/4192956
[pid=782] ppid=780 vsize=104316 CPUtime=1796.23
/proc/782/stat : 782 (pbscip.linux.x8) R 780 782 499 0 -1 4194304 307804 0 0 0 179237 386 0 0 17 0 1 0 187345107 106819584 23609 1992294400 4194304 9342243 548682068736 18446744073709551615 5854346 0 0 4096 0 0 0 0 17 1 0 0
/proc/782/statm: 26079 23609 699 1256 0 24818 0
Current children cumulated CPU time (s) 1796.23
Current children cumulated vsize (KiB) 104316

Child status: 0
Real time (s): 1796.76
CPU time (s): 1796.3
CPU user time (s): 1792.42
CPU system time (s): 3.88541
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 117504

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

runsolver used 1.59476 second user time and 4.02839 second system time

The end

Launcher Data 

Begin job on node25 at 2009-06-17 02:10:53
IDJOB=1870317
IDBENCH=48157
IDSOLVER=684
FILE ID=node25/1870317-1245197453
PBS_JOBID= 9368335
Free space on /tmp= 66312 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_10_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-1870317-1245197453/watcher-1870317-1245197453 -o /tmp/evaluation-result-1870317-1245197453/solver-1870317-1245197453 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870317-1245197453.opb

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

MD5SUM BENCH= 31a0e10ee8ac2049545ec8eab33f6948
RANDOM SEED=570982208

node25.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.238
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.238
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:       1878672 kB
Buffers:         44200 kB
Cached:          77348 kB
SwapCached:       5884 kB
Active:          76564 kB
Inactive:        53536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1878672 kB
SwapTotal:     4192956 kB
SwapFree:      4181500 kB
Dirty:           11836 kB
Writeback:           0 kB
Mapped:          13556 kB
Slab:            33116 kB
Committed_AS:   212992 kB
PageTables:       1464 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= 66300 MiB
End job on node25 at 2009-06-17 02:40:50