Trace number 1868750

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)SAT (TO)192 1800.14 1800.68

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
MD5SUM0a5749e09f3f6f40d04f442dc86d22a6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark192
Best CPU time to get the best result obtained on this benchmark1800.14
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 188
Optimality of the best value was proved NO
Number of variables479
Total number of constraints479
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 constraints479
Minimum length of a constraint4
Maximum length of a constraint17
Number of terms in the objective function 479
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 479
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 479
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.02	c SCIP version 1.1.0.7
0.00/0.02	c LP-Solver SoPlex 1.4.1
0.00/0.02	c user parameter file <scip.set> not found - using default parameters
0.00/0.02	c read problem <HOME/instance-1868750-1245138032.opb>
0.00/0.02	c original problem has 479 variables (479 bin, 0 int, 0 impl, 0 cont) and 479 constraints
0.00/0.03	c start presolving problem
0.00/0.03	c presolving:
0.00/0.03	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 21 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.04	c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 21 chg coeffs, 479 upgd conss, 0 impls, 0 clqs
0.00/0.05	c (round 3) 0 del vars, 3 del conss, 0 chg bounds, 219 chg sides, 469 chg coeffs, 479 upgd conss, 276 impls, 0 clqs
0.00/0.05	c (round 4) 0 del vars, 42 del conss, 0 chg bounds, 322 chg sides, 601 chg coeffs, 479 upgd conss, 276 impls, 0 clqs
0.00/0.06	c (round 5) 0 del vars, 143 del conss, 0 chg bounds, 341 chg sides, 639 chg coeffs, 479 upgd conss, 276 impls, 0 clqs
0.00/0.06	c (round 6) 0 del vars, 143 del conss, 0 chg bounds, 343 chg sides, 643 chg coeffs, 479 upgd conss, 276 impls, 0 clqs
0.00/0.06	c    (0.0s) probing: 101/479 (21.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06	c    (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.06	c presolving (7 rounds):
0.00/0.06	c  0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 343 changed sides, 643 changed coefficients
0.00/0.06	c  276 implications, 0 cliques
0.00/0.06	c presolved problem has 479 variables (479 bin, 0 int, 0 impl, 0 cont) and 579 constraints
0.00/0.06	c     439 constraints of type <knapsack>
0.00/0.06	c     138 constraints of type <setppc>
0.00/0.06	c       2 constraints of type <logicor>
0.00/0.06	c transformed objective value is always integral (scale: 1)
0.00/0.06	c Presolving Time: 0.04
0.00/0.07	c OPT-LIN
0.00/0.07	c -----------------------------------------------------------------------------------------------
0.00/0.07	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.07	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.07	c limits/memory = c 1620
0.00/0.07	c # maximal time in seconds to run
0.00/0.07	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.07	c limits/time = c 1791
0.00/0.07	c # frequency for displaying node information lines
0.00/0.07	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.07	c display/freq = c 10000
0.00/0.07	c -----------------------------------------------------------------------------------------------
0.00/0.07	c start solving problem
0.00/0.07	c 
0.59/0.66	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.59/0.66	c   0.6s|     1 |     0 |  1894 |2511k|   0 | 318 | 479 | 579 | 579 | 479 | 579 |   0 |   0 |   0 | 1.550632e+02 |      --      |    Inf 
0.59/0.66	o 336
0.59/0.66	c r 0.6s|     1 |     0 |  1894 |2525k|   0 | 318 | 479 | 579 | 579 | 479 | 579 |   0 |   0 |   0 | 1.550632e+02 | 3.360000e+02 | 116.69%
0.59/0.67	o 335
0.59/0.67	c R 0.6s|     1 |     0 |  1894 |2538k|   0 | 318 | 479 | 579 | 579 | 479 | 579 |   0 |   0 |   0 | 1.550632e+02 | 3.350000e+02 | 116.04%
0.59/0.68	o 334
0.59/0.68	c s 0.6s|     1 |     0 |  1894 |2552k|   0 | 318 | 479 | 579 | 579 | 479 | 579 |   0 |   0 |   0 | 1.550632e+02 | 3.340000e+02 | 115.40%
1.59/1.61	c   1.6s|     1 |     0 |  2690 |2893k|   0 | 392 | 479 | 579 | 579 | 479 | 812 | 233 |   0 |   0 | 1.611829e+02 | 3.340000e+02 | 107.22%
2.79/2.83	c   2.8s|     1 |     0 |  3566 |3163k|   0 | 419 | 479 | 579 | 579 | 479 | 997 | 418 |   0 |   0 | 1.645251e+02 | 3.340000e+02 | 103.01%
4.09/4.18	c   4.1s|     1 |     0 |  4383 |3313k|   0 | 435 | 479 | 579 | 579 | 479 |1108 | 529 |   0 |   0 | 1.660913e+02 | 3.340000e+02 | 101.09%
5.48/5.52	c   5.5s|     1 |     0 |  5007 |3427k|   0 | 436 | 479 | 579 | 579 | 479 |1196 | 617 |   0 |   0 | 1.669603e+02 | 3.340000e+02 | 100.05%
6.78/6.81	c   6.7s|     1 |     0 |  5545 |3474k|   0 | 439 | 479 | 579 | 579 | 479 |1249 | 670 |   0 |   0 | 1.673581e+02 | 3.340000e+02 |  99.57%
7.99/8.00	c   7.9s|     1 |     0 |  5895 |3506k|   0 | 443 | 479 | 579 | 579 | 479 |1280 | 701 |   0 |   0 | 1.675121e+02 | 3.340000e+02 |  99.39%
9.08/9.12	c   9.0s|     1 |     0 |  6168 |3533k|   0 | 438 | 479 | 579 | 579 | 479 |1306 | 727 |   0 |   0 | 1.676213e+02 | 3.340000e+02 |  99.26%
9.98/10.01	c   9.9s|     1 |     0 |  6238 |3542k|   0 | 444 | 479 | 579 | 579 | 479 |1315 | 736 |   0 |   0 | 1.676282e+02 | 3.340000e+02 |  99.25%
10.78/10.84	c  10.7s|     1 |     0 |  6293 |3549k|   0 | 444 | 479 | 579 | 579 | 479 |1316 | 737 |   0 |   0 | 1.676364e+02 | 3.340000e+02 |  99.24%
11.58/11.63	o 213
11.58/11.63	c k11.5s|     1 |     0 |  6293 |3570k|   0 | 444 | 479 | 579 | 579 | 479 |1316 | 737 |   0 |   0 | 1.676364e+02 | 2.130000e+02 |  27.06%
11.58/11.64	c  11.5s|     1 |     0 |  6293 |3563k|   0 | 444 | 479 | 579 | 579 | 479 |1316 | 737 |   0 |   0 | 1.676364e+02 | 2.130000e+02 |  27.06%
34.98/35.09	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
34.98/35.09	c  34.9s|     1 |     2 |  6293 |3563k|   0 | 444 | 479 | 579 | 579 | 479 |1316 | 737 |   0 |  43 | 1.676364e+02 | 2.130000e+02 |  27.06%
122.15/122.28	o 213
122.15/122.28	c v 122s|   139 |   140 | 45243 |4542k|  85 |   - | 479 | 579 | 466 | 479 |1044 | 737 |   0 | 286 | 1.680671e+02 | 2.130000e+02 |  26.74%
122.15/122.29	o 211
122.15/122.29	c v 122s|   139 |   140 | 45258 |4546k|  85 |   - | 479 | 579 | 466 | 479 |1044 | 737 |   0 | 286 | 1.680671e+02 | 2.110000e+02 |  25.55%
122.15/122.29	o 210
122.15/122.29	c v 122s|   139 |   140 | 45265 |4546k|  85 |   - | 479 | 579 | 466 | 479 |1044 | 737 |   0 | 286 | 1.680671e+02 | 2.100000e+02 |  24.95%
122.25/122.30	o 209
122.25/122.30	c v 122s|   139 |   140 | 45281 |4550k|  85 |   - | 479 | 579 | 466 | 479 |1044 | 737 |   0 | 286 | 1.680671e+02 | 2.090000e+02 |  24.36%
122.25/122.31	o 208
122.25/122.31	c v 122s|   139 |   140 | 45302 |4551k|  85 |   - | 479 | 579 | 466 | 479 |1044 | 737 |   0 | 286 | 1.680671e+02 | 2.080000e+02 |  23.76%
122.25/122.33	o 207
122.25/122.33	c v 122s|   139 |   140 | 45380 |4558k|  85 |   - | 479 | 579 | 464 | 479 |1044 | 737 |   0 | 286 | 1.680671e+02 | 2.070000e+02 |  23.17%
122.25/122.35	o 207
122.25/122.35	c v 122s|   139 |   140 | 45451 |4562k|  85 |   - | 479 | 579 | 464 | 479 |1044 | 737 |   0 | 286 | 1.680671e+02 | 2.070000e+02 |  23.17%
122.25/122.35	o 206
122.25/122.35	c v 122s|   139 |   140 | 45465 |4563k|  85 |   - | 479 | 579 | 464 | 479 |1044 | 737 |   0 | 286 | 1.680671e+02 | 2.060000e+02 |  22.57%
122.25/122.36	o 204
122.25/122.36	c k 122s|   139 |   140 | 45465 |4429k|  85 | 399 | 479 | 579 | 562 | 479 |1044 | 737 |   0 | 286 | 1.680671e+02 | 2.040000e+02 |  21.38%
254.51/254.62	o 204
254.51/254.62	c v 253s|  1711 |  1700 |318456 |5825k| 108 |   - | 479 | 599 | 480 | 479 |1044 | 737 |  20 | 751 | 1.683993e+02 | 2.040000e+02 |  21.14%
254.51/254.63	o 203
254.51/254.63	c v 253s|  1711 |  1695 |318486 |5818k| 108 |   - | 479 | 599 | 480 | 479 |1044 | 737 |  20 | 751 | 1.683993e+02 | 2.030000e+02 |  20.55%
254.51/254.64	o 202
254.51/254.64	c v 253s|  1711 |  1669 |318525 |5801k| 108 |   - | 479 | 599 | 480 | 479 |1044 | 737 |  20 | 751 | 1.683993e+02 | 2.020000e+02 |  19.95%
254.51/254.65	o 201
254.51/254.65	c v 253s|  1711 |  1638 |318568 |5782k| 108 |   - | 479 | 599 | 480 | 479 |1044 | 737 |  20 | 751 | 1.683993e+02 | 2.010000e+02 |  19.36%
254.51/254.65	o 200
254.51/254.65	c v 253s|  1711 |  1605 |318569 |5759k| 108 |   - | 479 | 599 | 479 | 479 |1044 | 737 |  20 | 751 | 1.683993e+02 | 2.000000e+02 |  18.77%
254.61/254.71	o 198
254.61/254.71	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
254.61/254.71	c k 253s|  1712 |  1455 |318778 |5526k| 108 | 126 | 479 | 599 | 495 | 479 |1044 | 737 |  20 | 751 | 1.683993e+02 | 1.980000e+02 |  17.58%
302.40/302.50	o 195
302.40/302.50	c C 301s|  2312 |  1307 |426776 |5441k| 108 | 146 | 479 | 605 | 501 | 479 |1044 | 737 |  26 | 794 | 1.684944e+02 | 1.950000e+02 |  15.73%
302.40/302.53	o 192
302.40/302.53	c k 301s|  2313 |   560 |426838 |4852k| 108 | 147 | 479 | 605 | 500 | 479 |1044 | 737 |  26 | 794 | 1.684944e+02 | 1.920000e+02 |  13.95%
1275.51/1275.96	c  1268s| 10000 |  2635 |  2514k|6674k| 108 |   - | 479 | 640 | 488 | 479 |1044 | 737 |  65 |1396 | 1.691493e+02 | 1.920000e+02 |  13.51%
1800.06/1800.65	c 
1800.06/1800.65	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.65	c Solving Time (sec) : 1789.85
1800.06/1800.65	c Solving Nodes      : 14571
1800.06/1800.65	c Primal Bound       : +1.92000000000000e+02 (790 solutions)
1800.06/1800.65	c Dual Bound         : +1.69278761714269e+02
1800.06/1800.65	c Gap                : 13.42 %
1800.06/1800.65	c NODE         14571
1800.06/1800.65	c DUAL BOUND   169.279
1800.06/1800.65	c PRIMAL BOUND 192
1800.06/1800.65	c GAP          0.134224
1800.06/1800.65	s SATISFIABLE
1800.06/1800.65	v -x479 -x478 x477 -x476 x475 x474 -x473 -x472 x471 x470 -x469 x468 -x467 x466 -x465 -x464 x463 -x462 x461 -x460 x459 -x458 x457 
1800.06/1800.65	v -x456 x455 x454 -x453 -x452 x451 -x450 -x449 x448 -x447 x446 -x445 -x444 x443 x442 x441 -x440 -x439 x438 x437 -x436 x435 -x434 
1800.06/1800.65	v -x433 -x432 -x431 -x430 -x429 -x428 x427 -x426 x425 x424 -x423 -x422 x421 -x420 x419 x418 -x417 -x416 -x415 -x414 x413 -x412 
1800.06/1800.65	v -x411 -x410 -x409 x408 -x407 x406 -x405 -x404 x403 x402 x401 x400 x399 x398 x397 x396 -x395 x394 -x393 -x392 -x391 -x390 -x389 
1800.06/1800.65	v x388 -x387 -x386 x385 -x384 x383 -x382 x381 x380 x379 -x378 x377 -x376 -x375 -x374 -x373 x372 -x371 -x370 -x369 -x368 -x367 
1800.06/1800.65	v -x366 -x365 x364 -x363 -x362 -x361 x360 -x359 -x358 -x357 -x356 -x355 x354 x353 x352 -x351 -x350 -x349 x348 -x347 -x346 -x345 
1800.06/1800.65	v -x344 x343 x342 -x341 x340 -x339 x338 x337 -x336 -x335 x334 x333 -x332 x331 -x330 -x329 -x328 x327 x326 -x325 -x324 -x323 
1800.06/1800.65	v x322 x321 x320 x319 -x318 -x317 x316 -x315 -x314 -x313 x312 -x311 -x310 x309 x308 -x307 -x306 -x305 -x304 -x303 -x302 x301 x300 
1800.06/1800.65	v -x299 -x298 -x297 -x296 -x295 -x294 x293 -x292 -x291 -x290 -x289 x288 x287 x286 -x285 -x284 -x283 x282 x281 x280 -x279 -x278 
1800.06/1800.65	v -x277 -x276 x275 -x274 -x273 x272 -x271 -x270 x269 x268 x267 x266 -x265 x264 -x263 -x262 -x261 x260 x259 x258 x257 x256 x255 
1800.06/1800.65	v -x254 -x253 -x252 -x251 -x250 -x249 x248 x247 -x246 x245 x244 x243 -x242 -x241 -x240 x239 x238 x237 x236 -x235 x234 x233 
1800.06/1800.65	v -x232 -x231 x230 -x229 -x228 x227 -x226 -x225 -x224 x223 -x222 x221 x220 -x219 -x218 x217 -x216 x215 -x214 -x213 -x212 x211 -x210 
1800.06/1800.65	v -x209 x208 x207 x206 x205 x204 -x203 -x202 x201 x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 x190 x189 x188 
1800.06/1800.65	v -x187 x186 -x185 x184 -x183 x182 -x181 -x180 -x179 x178 -x177 -x176 x175 -x174 x173 x172 x171 x170 x169 -x168 -x167 -x166 -x165 
1800.06/1800.65	v -x164 x163 -x162 -x161 -x160 -x159 -x158 x157 x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 x148 x147 -x146 x145 x144 -x143 
1800.06/1800.65	v -x142 -x141 -x140 x139 -x138 x137 x136 -x135 x134 x133 -x132 x131 x130 x129 x128 -x127 x126 -x125 x124 -x123 x122 -x121 -x120 
1800.06/1800.65	v -x119 -x118 x117 x116 -x115 x114 -x113 x112 x111 -x110 -x109 x108 -x107 -x106 -x105 -x104 x103 -x102 x101 -x100 -x99 -x98 
1800.06/1800.65	v -x97 x96 -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 
1800.06/1800.65	v -x70 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 x44 
1800.06/1800.65	v -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 x18 
1800.06/1800.65	v -x17 -x16 -x15 -x14 x13 x12 -x11 -x10 -x9 x8 -x7 -x6 x5 -x4 -x3 -x2 -x1 
1800.06/1800.65	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.65	c Solving Time       :    1789.85
1800.06/1800.65	c Original Problem   :
1800.06/1800.65	c   Problem name     : HOME/instance-1868750-1245138032.opb
1800.06/1800.65	c   Variables        : 479 (479 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.65	c   Constraints      : 479 initial, 479 maximal
1800.06/1800.65	c Presolved Problem  :
1800.06/1800.65	c   Problem name     : t_HOME/instance-1868750-1245138032.opb
1800.06/1800.65	c   Variables        : 479 (479 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.65	c   Constraints      : 579 initial, 653 maximal
1800.06/1800.65	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.06/1800.65	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.65	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.65	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.65	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.65	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.65	c   probing          :       0.01          0          0          0          0          0          0          0          0
1800.06/1800.65	c   knapsack         :       0.01          0          0          0          0          0         38        343        622
1800.06/1800.65	c   setppc           :       0.00          0          0          0          0          0        105          0          0
1800.06/1800.65	c   linear           :       0.02          0          0          0          0          0          0          0         21
1800.06/1800.65	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.65	c   root node        :          -          0          -          -          0          -          -          -          -
1800.06/1800.65	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.65	c   integral         :          0          0          0      10152          0          1        128          0          0      20160
1800.06/1800.65	c   knapsack         :        439         10      82799          0          0          0      44771        522          0          0
1800.06/1800.65	c   setppc           :        138         10      82799          0          0          0      11965          0          0          0
1800.06/1800.65	c   logicor          :          2+        10      11675          0          0          0         11          0          0          0
1800.06/1800.65	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.06/1800.65	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.06/1800.65	c   integral         :     186.58       0.00       0.00     186.58       0.00
1800.06/1800.65	c   knapsack         :       3.57       0.04       3.53       0.00       0.00
1800.06/1800.65	c   setppc           :       0.71       0.00       0.71       0.00       0.00
1800.06/1800.65	c   logicor          :       0.08       0.00       0.08       0.00       0.00
1800.06/1800.65	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.06/1800.65	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.06/1800.65	c   rootredcost      :       0.07         13          0          0
1800.06/1800.65	c   pseudoobj        :       2.39      82854          0          0
1800.06/1800.65	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.06/1800.65	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.06/1800.65	c   infeasible LP    :       0.01         86         86         86        4.4          0        0.0          0
1800.06/1800.65	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.65	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.65	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.06/1800.65	c   applied globally :          -          -          -         86        4.4          -          -          -
1800.06/1800.65	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.06/1800.65	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.06/1800.66	c   cut pool         :       0.00          9          -          -        389          -    (maximal pool size: 1735)
1800.06/1800.66	c   redcost          :       1.36      20181          0     180815          0          0
1800.06/1800.66	c   impliedbounds    :       0.00         11          0          0          0          0
1800.06/1800.66	c   intobj           :       0.00          0          0          0          0          0
1800.06/1800.66	c   gomory           :       3.66         11          0          0          2          0
1800.06/1800.66	c   strongcg         :       3.27         11          0          0          2          0
1800.06/1800.66	c   cmir             :       0.55         10          0          0        763          0
1800.06/1800.66	c   flowcover        :       0.60         10          0          0        945          0
1800.06/1800.66	c   clique           :       0.00          1          0          0          0          0
1800.06/1800.66	c   zerohalf         :       0.00          0          0          0          0          0
1800.06/1800.66	c   mcf              :       0.02          5          0          0         85          0
1800.06/1800.66	c Pricers            :       Time      Calls       Vars
1800.06/1800.66	c   problem variables:       0.00          0          0
1800.06/1800.66	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.66	c   relpscost        :     186.57      10152          1        128          0          0      20160
1800.06/1800.66	c   pscost           :       0.00          0          0          0          0          0          0
1800.06/1800.66	c   inference        :       0.00          0          0          0          0          0          0
1800.06/1800.66	c   mostinf          :       0.00          0          0          0          0          0          0
1800.06/1800.66	c   leastinf         :       0.00          0          0          0          0          0          0
1800.06/1800.66	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.06/1800.66	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.06/1800.66	c   random           :       0.00          0          0          0          0          0          0
1800.06/1800.66	c Primal Heuristics  :       Time      Calls      Found
1800.06/1800.66	c   LP solutions     :       0.00          -          0
1800.06/1800.66	c   pseudo solutions :       0.00          -          0
1800.06/1800.66	c   oneopt           :       0.04          6          4
1800.06/1800.66	c   crossover        :       0.53          7          1
1800.06/1800.66	c   simplerounding   :       0.70      17135         76
1800.06/1800.66	c   rounding         :      10.82       5783          1
1800.06/1800.66	c   shifting         :       3.21       1337          1
1800.06/1800.66	c   intshifting      :       0.00          0          0
1800.06/1800.66	c   fixandinfer      :       0.00          0          0
1800.06/1800.66	c   feaspump         :       0.00          0          0
1800.06/1800.66	c   coefdiving       :      75.89         24        120
1800.06/1800.66	c   pscostdiving     :      79.02         50        184
1800.06/1800.66	c   fracdiving       :      61.29         31          0
1800.06/1800.66	c   veclendiving     :     367.62        143         89
1800.06/1800.66	c   intdiving        :       0.00          0          0
1800.06/1800.66	c   actconsdiving    :       0.00          0          0
1800.06/1800.66	c   objpscostdiving  :      88.17          9        303
1800.06/1800.66	c   rootsoldiving    :      13.79         32          0
1800.06/1800.66	c   linesearchdiving :      73.85         55         11
1800.06/1800.66	c   guideddiving     :      61.69         24          0
1800.06/1800.66	c   octane           :       0.00          0          0
1800.06/1800.66	c   rens             :       0.00          0          0
1800.06/1800.66	c   rins             :       0.00          0          0
1800.06/1800.66	c   localbranching   :       0.00          0          0
1800.06/1800.66	c   mutation         :       0.00          0          0
1800.06/1800.66	c   dins             :       0.00          0          0
1800.06/1800.66	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.06/1800.66	c   primal LP        :       0.01          0          0       0.00       0.00
1800.06/1800.66	c   dual LP          :     739.61      21617    1738581      80.43    2350.67
1800.06/1800.66	c   barrier LP       :       0.00          0          0       0.00          -
1800.06/1800.66	c   diving/probing LP:     798.12      40056    1908126      47.64    2390.78
1800.06/1800.66	c   strong branching :     185.07       1697     343575     202.46    1856.46
1800.06/1800.66	c     (at root node) :          -         43      32208     749.02          -
1800.06/1800.66	c   conflict analysis:       0.00          0          0       0.00          -
1800.06/1800.66	c B&B Tree           :
1800.06/1800.66	c   number of runs   :          1
1800.06/1800.66	c   nodes            :      14571
1800.06/1800.66	c   nodes (total)    :      14571
1800.06/1800.66	c   nodes left       :       3928
1800.06/1800.66	c   max depth        :        108
1800.06/1800.66	c   max depth (total):        108
1800.06/1800.66	c   backtracks       :       2405 (16.5%)
1800.06/1800.66	c   delayed cutoffs  :          0
1800.06/1800.66	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.06/1800.66	c   avg switch length:       5.86
1800.06/1800.66	c   switching time   :       1.67
1800.06/1800.66	c Solution           :
1800.06/1800.66	c   Solutions found  :        790 (21 improvements)
1800.06/1800.66	c   Primal Bound     : +1.92000000000000e+02   (in run 1, after 2313 nodes, 300.69 seconds, depth 76, found by <oneopt>)
1800.06/1800.66	c   Dual Bound       : +1.69278761714269e+02
1800.06/1800.66	c   Gap              :      13.42 %
1800.06/1800.66	c   Root Dual Bound  : +1.67636420057071e+02
1800.06/1800.68	c Time complete: 1800.13.

Verifier Data 

OK	192

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1868750-1245138032/watcher-1868750-1245138032 -o /tmp/evaluation-result-1868750-1245138032/solver-1868750-1245138032 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868750-1245138032.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 3488
/proc/meminfo: memFree=1845160/2055920 swapFree=4182572/4192956
[pid=3488] ppid=3486 vsize=4648 CPUtime=0
/proc/3488/stat : 3488 (pbscip.linux.x8) R 3486 3488 3212 0 -1 4194304 493 0 0 0 0 0 0 0 18 0 1 0 181400315 4759552 477 1992294400 4194304 7823515 548682068736 18446744073709551615 5898624 0 0 4096 0 0 0 0 17 1 0 0
/proc/3488/statm: 1162 485 319 886 0 272 0

[startup+0.0824869 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3488
/proc/meminfo: memFree=1845160/2055920 swapFree=4182572/4192956
[pid=3488] ppid=3486 vsize=15848 CPUtime=0.07
/proc/3488/stat : 3488 (pbscip.linux.x8) R 3486 3488 3212 0 -1 4194304 3523 0 0 0 6 1 0 0 18 0 1 0 181400315 16228352 3151 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3488/statm: 3962 3151 516 886 0 3072 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15848

[startup+0.10149 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3488
/proc/meminfo: memFree=1845160/2055920 swapFree=4182572/4192956
[pid=3488] ppid=3486 vsize=16152 CPUtime=0.09
/proc/3488/stat : 3488 (pbscip.linux.x8) R 3486 3488 3212 0 -1 4194304 3594 0 0 0 8 1 0 0 18 0 1 0 181400315 16539648 3221 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3488/statm: 4038 3221 517 886 0 3148 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16152

[startup+0.301518 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3488
/proc/meminfo: memFree=1845160/2055920 swapFree=4182572/4192956
[pid=3488] ppid=3486 vsize=16528 CPUtime=0.29
/proc/3488/stat : 3488 (pbscip.linux.x8) R 3486 3488 3212 0 -1 4194304 3726 0 0 0 28 1 0 0 19 0 1 0 181400315 16924672 3353 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3488/statm: 4132 3353 521 886 0 3242 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16528

[startup+0.701576 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3488
/proc/meminfo: memFree=1845160/2055920 swapFree=4182572/4192956
[pid=3488] ppid=3486 vsize=18048 CPUtime=0.69
/proc/3488/stat : 3488 (pbscip.linux.x8) R 3486 3488 3212 0 -1 4194304 4015 0 0 0 67 2 0 0 23 0 1 0 181400315 18481152 3642 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3488/statm: 4512 3642 540 886 0 3622 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18048

[startup+1.50169 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3489
/proc/meminfo: memFree=1832608/2055920 swapFree=4182572/4192956
[pid=3488] ppid=3486 vsize=19776 CPUtime=1.49
/proc/3488/stat : 3488 (pbscip.linux.x8) R 3486 3488 3212 0 -1 4194304 4510 0 0 0 147 2 0 0 25 0 1 0 181400315 20250624 4119 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3488/statm: 4944 4119 561 886 0 4054 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19776

[startup+3.10192 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3489
/proc/meminfo: memFree=1830560/2055920 swapFree=4182572/4192956
[pid=3488] ppid=3486 vsize=20800 CPUtime=3.09
/proc/3488/stat : 3488 (pbscip.linux.x8) R 3486 3488 3212 0 -1 4194304 4790 0 0 0 306 3 0 0 25 0 1 0 181400315 21299200 4399 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3488/statm: 5200 4399 562 886 0 4310 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20800

[startup+6.30138 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3489
/proc/meminfo: memFree=1828640/2055920 swapFree=4182572/4192956
[pid=3488] ppid=3486 vsize=21264 CPUtime=6.28
/proc/3488/stat : 3488 (pbscip.linux.x8) R 3486 3488 3212 0 -1 4194304 4972 0 0 0 623 5 0 0 25 0 1 0 181400315 21774336 4581 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3488/statm: 5316 4581 562 886 0 4426 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 21264

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3489
/proc/meminfo: memFree=1826984/2055920 swapFree=4182572/4192956
[pid=3488] ppid=3486 vsize=22848 CPUtime=12.68
/proc/3488/stat : 3488 (pbscip.linux.x8) R 3486 3488 3212 0 -1 4194304 5410 0 0 0 1259 9 0 0 25 0 1 0 181400315 23396352 5019 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3488/statm: 5712 5019 566 886 0 4822 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22848

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3489
/proc/meminfo: memFree=1827048/2055920 swapFree=4182572/4192956
[pid=3488] ppid=3486 vsize=22848 CPUtime=25.47
/proc/3488/stat : 3488 (pbscip.linux.x8) R 3486 3488 3212 0 -1 4194304 5410 0 0 0 2535 12 0 0 25 0 1 0 181400315 23396352 5019 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3488/statm: 5712 5019 566 886 0 4822 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 22848

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3489
/proc/meminfo: memFree=1827112/2055920 swapFree=4182572/4192956
[pid=3488] ppid=3486 vsize=22848 CPUtime=51.07
/proc/3488/stat : 3488 (pbscip.linux.x8) R 3486 3488 3212 0 -1 4194304 5411 0 0 0 5085 22 0 0 25 0 1 0 181400315 23396352 5020 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3488/statm: 5712 5020 567 886 0 4822 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 22848

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3489
/proc/meminfo: memFree=1827048/2055920 swapFree=4182572/4192956
[pid=3488] ppid=3486 vsize=22848 CPUtime=102.26
/proc/3488/stat : 3488 (pbscip.linux.x8) R 3486 3488 3212 0 -1 4194304 5412 0 0 0 10184 42 0 0 25 0 1 0 181400315 23396352 5021 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3488/statm: 5712 5021 568 886 0 4822 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 22848

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3489
/proc/meminfo: memFree=1826152/2055920 swapFree=4182572/4192956
[pid=3488] ppid=3486 vsize=23516 CPUtime=162.24
/proc/3488/stat : 3488 (pbscip.linux.x8) R 3486 3488 3212 0 -1 4194304 8101 0 0 0 16143 81 0 0 25 0 1 0 181400315 24080384 5203 1992294400 4194304 7823515 548682068736 18446744073709551615 6210987 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3488/statm: 5879 5203 577 886 0 4989 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 23516

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3489
/proc/meminfo: memFree=1826152/2055920 swapFree=4182572/4192956
[pid=3488] ppid=3486 vsize=23516 CPUtime=222.22
/proc/3488/stat : 3488 (pbscip.linux.x8) R 3486 3488 3212 0 -1 4194304 8103 0 0 0 22106 116 0 0 25 0 1 0 181400315 24080384 5205 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3488/statm: 5879 5205 577 886 0 4989 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 23516

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3489
/proc/meminfo: memFree=1824808/2055920 swapFree=4182572/4192956
[pid=3488] ppid=3486 vsize=25068 CPUtime=282.21
/proc/3488/stat : 3488 (pbscip.linux.x8) R 3486 3488 3212 0 -1 4194304 8461 0 0 0 28063 158 0 0 25 0 1 0 181400315 25669632 5563 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3488/statm: 6267 5563 577 886 0 5377 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 25068

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3489
/proc/meminfo: memFree=1824040/2055920 swapFree=4182572/4192956
[pid=3488] ppid=3486 vsize=25608 CPUtime=342.19
/proc/3488/stat : 3488 (pbscip.linux.x8) R 3486 3488 3212 0 -1 4194304 10260 0 0 0 34026 193 0 0 25 0 1 0 181400315 26222592 5710 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3488/statm: 6402 5710 582 886 0 5512 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 25608

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3489
/proc/meminfo: memFree=1825704/2055920 swapFree=4182572/4192956
[pid=3488] ppid=3486 vsize=24276 CPUtime=402.17
/proc/3488/stat : 3488 (pbscip.linux.x8) R 3486 3488 3212 0 -1 4194304 12072 0 0 0 39992 225 0 0 25 0 1 0 181400315 24858624 5336 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3488/statm: 6069 5336 582 886 0 5179 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 24276

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3489
/proc/meminfo: memFree=1825576/2055920 swapFree=4182572/4192956
[pid=3488] ppid=3486 vsize=24276 CPUtime=462.15
/proc/3488/stat : 3488 (pbscip.linux.x8) R 3486 3488 3212 0 -1 4194304 12092 0 0 0 45958 257 0 0 25 0 1 0 181400315 24858624 5356 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3488/statm: 6069 5356 582 886 0 5179 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 24276

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3489
/proc/meminfo: memFree=1825832/2055920 swapFree=4182572/4192956
[pid=3488] ppid=3486 vsize=23640 CPUtime=522.13
/proc/3488/stat : 3488 (pbscip.linux.x8) R 3486 3488 3212 0 -1 4194304 14085 0 0 0 51922 291 0 0 25 0 1 0 181400315 24207360 5244 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3488/statm: 5910 5244 582 886 0 5020 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 23640

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3489
/proc/meminfo: memFree=1825384/2055920 swapFree=4182572/4192956
[pid=3488] ppid=3486 vsize=24304 CPUtime=582.12
/proc/3488/stat : 3488 (pbscip.linux.x8) R 3486 3488 3212 0 -1 4194304 14223 0 0 0 57884 328 0 0 25 0 1 0 181400315 24887296 5382 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3488/statm: 6076 5382 582 886 0 5186 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 24304

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3491
/proc/meminfo: memFree=1825448/2055920 swapFree=4182572/4192956
[pid=3488] ppid=3486 vsize=24380 CPUtime=642.1
/proc/3488/stat : 3488 (pbscip.linux.x8) R 3486 3488 3212 0 -1 4194304 15020 0 0 0 63850 360 0 0 25 0 1 0 181400315 24965120 5368 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3488/statm: 6095 5368 582 886 0 5205 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 24380

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3491
/proc/meminfo: memFree=1825128/2055920 swapFree=4182572/4192956
[pid=3488] ppid=3486 vsize=24576 CPUtime=822.04
/proc/3488/stat : 3488 (pbscip.linux.x8) R 3486 3488 3212 0 -1 4194304 15068 0 0 0 81739 465 0 0 25 0 1 0 181400315 25165824 5416 1992294400 4194304 7823515 548682068736 18446744073709551615 6211600 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3488/statm: 6144 5416 582 886 0 5254 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 24576

[startup+882.302 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 3491
/proc/meminfo: memFree=1825000/2055920 swapFree=4182572/4192956
[pid=3488] ppid=3486 vsize=24584 CPUtime=882.02
/proc/3488/stat : 3488 (pbscip.linux.x8) R 3486 3488 3212 0 -1 4194304 17204 0 0 0 87704 498 0 0 25 0 1 0 181400315 25174016 5442 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3488/statm: 6146 5442 582 886 0 5256 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 24584

[startup+942.301 s]
/proc/loadavg: 1.10 1.03 1.00 2/65 3491
/proc/meminfo: memFree=1824936/2055920 swapFree=4182572/4192956
[pid=3488] ppid=3486 vsize=24584 CPUtime=942
/proc/3488/stat : 3488 (pbscip.linux.x8) R 3486 3488 3212 0 -1 4194304 17212 0 0 0 93667 533 0 0 25 0 1 0 181400315 25174016 5450 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3488/statm: 6146 5450 582 886 0 5256 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 24584

[startup+1002.3 s]
/proc/loadavg: 1.03 1.02 1.00 2/65 3491
/proc/meminfo: memFree=1824872/2055920 swapFree=4182572/4192956
[pid=3488] ppid=3486 vsize=24780 CPUtime=1001.99
/proc/3488/stat : 3488 (pbscip.linux.x8) R 3486 3488 3212 0 -1 4194304 17229 0 0 0 99633 566 0 0 25 0 1 0 181400315 25374720 5467 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3488/statm: 6195 5467 582 886 0 5305 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 24780

[startup+1062.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 3491
/proc/meminfo: memFree=1824296/2055920 swapFree=4182572/4192956
[pid=3488] ppid=3486 vsize=25272 CPUtime=1061.98
/proc/3488/stat : 3488 (pbscip.linux.x8) R 3486 3488 3212 0 -1 4194304 17373 0 0 0 105594 604 0 0 25 0 1 0 181400315 25878528 5611 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3488/statm: 6318 5611 582 886 0 5428 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 25272

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 3491
/proc/meminfo: memFree=1824296/2055920 swapFree=4182572/4192956
[pid=3488] ppid=3486 vsize=25272 CPUtime=1121.95
/proc/3488/stat : 3488 (pbscip.linux.x8) R 3486 3488 3212 0 -1 4194304 17373 0 0 0 111552 643 0 0 25 0 1 0 181400315 25878528 5611 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3488/statm: 6318 5611 582 886 0 5428 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 25272

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3491
/proc/meminfo: memFree=1824232/2055920 swapFree=4182572/4192956
[pid=3488] ppid=3486 vsize=25432 CPUtime=1181.94
/proc/3488/stat : 3488 (pbscip.linux.x8) R 3486 3488 3212 0 -1 4194304 17392 0 0 0 117517 677 0 0 25 0 1 0 181400315 26042368 5630 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3488/statm: 6358 5630 582 886 0 5468 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 25432

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3497
/proc/meminfo: memFree=1824424/2055920 swapFree=4182572/4192956
[pid=3488] ppid=3486 vsize=25020 CPUtime=1241.92
/proc/3488/stat : 3488 (pbscip.linux.x8) R 3486 3488 3212 0 -1 4194304 19438 0 0 0 123480 712 0 0 25 0 1 0 181400315 25620480 5526 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3488/statm: 6255 5526 582 886 0 5365 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 25020

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3497
/proc/meminfo: memFree=1824424/2055920 swapFree=4182572/4192956
[pid=3488] ppid=3486 vsize=25020 CPUtime=1301.9
/proc/3488/stat : 3488 (pbscip.linux.x8) R 3486 3488 3212 0 -1 4194304 19467 0 0 0 129442 748 0 0 25 0 1 0 181400315 25620480 5555 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3488/statm: 6255 5555 582 886 0 5365 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 25020

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3497
/proc/meminfo: memFree=1824104/2055920 swapFree=4182572/4192956
[pid=3488] ppid=3486 vsize=25272 CPUtime=1361.88
/proc/3488/stat : 3488 (pbscip.linux.x8) R 3486 3488 3212 0 -1 4194304 19531 0 0 0 135406 782 0 0 25 0 1 0 181400315 25878528 5619 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3488/statm: 6318 5619 582 886 0 5428 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 25272

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3497
/proc/meminfo: memFree=1823720/2055920 swapFree=4182572/4192956
[pid=3488] ppid=3486 vsize=25724 CPUtime=1421.86
/proc/3488/stat : 3488 (pbscip.linux.x8) R 3486 3488 3212 0 -1 4194304 19626 0 0 0 141369 817 0 0 25 0 1 0 181400315 26341376 5714 1992294400 4194304 7823515 548682068736 18446744073709551615 6254453 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3488/statm: 6431 5714 582 886 0 5541 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 25724

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3497
/proc/meminfo: memFree=1823656/2055920 swapFree=4182572/4192956
[pid=3488] ppid=3486 vsize=25724 CPUtime=1481.85
/proc/3488/stat : 3488 (pbscip.linux.x8) R 3486 3488 3212 0 -1 4194304 19627 0 0 0 147337 848 0 0 25 0 1 0 181400315 26341376 5715 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3488/statm: 6431 5715 582 886 0 5541 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 25724

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3497
/proc/meminfo: memFree=1822760/2055920 swapFree=4182572/4192956
[pid=3488] ppid=3486 vsize=26528 CPUtime=1541.83
/proc/3488/stat : 3488 (pbscip.linux.x8) R 3486 3488 3212 0 -1 4194304 19841 0 0 0 153301 882 0 0 25 0 1 0 181400315 27164672 5929 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3488/statm: 6632 5929 582 886 0 5742 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 26528

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3497
/proc/meminfo: memFree=1822760/2055920 swapFree=4182572/4192956
[pid=3488] ppid=3486 vsize=26528 CPUtime=1601.81
/proc/3488/stat : 3488 (pbscip.linux.x8) R 3486 3488 3212 0 -1 4194304 19841 0 0 0 159265 916 0 0 25 0 1 0 181400315 27164672 5929 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3488/statm: 6632 5929 582 886 0 5742 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 26528

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3497
/proc/meminfo: memFree=1822696/2055920 swapFree=4182572/4192956
[pid=3488] ppid=3486 vsize=26528 CPUtime=1661.79
/proc/3488/stat : 3488 (pbscip.linux.x8) R 3486 3488 3212 0 -1 4194304 19843 0 0 0 165230 949 0 0 25 0 1 0 181400315 27164672 5931 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3488/statm: 6632 5931 582 886 0 5742 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 26528

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3497
/proc/meminfo: memFree=1822504/2055920 swapFree=4182572/4192956
[pid=3488] ppid=3486 vsize=26768 CPUtime=1721.77
/proc/3488/stat : 3488 (pbscip.linux.x8) R 3486 3488 3212 0 -1 4194304 19885 0 0 0 171198 979 0 0 25 0 1 0 181400315 27410432 5973 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3488/statm: 6692 5973 582 886 0 5802 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 26768

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3497
/proc/meminfo: memFree=1822376/2055920 swapFree=4182572/4192956
[pid=3488] ppid=3486 vsize=26768 CPUtime=1781.76
/proc/3488/stat : 3488 (pbscip.linux.x8) R 3486 3488 3212 0 -1 4194304 19909 0 0 0 177162 1014 0 0 25 0 1 0 181400315 27410432 5997 1992294400 4194304 7823515 548682068736 18446744073709551615 6180642 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3488/statm: 6692 5997 582 886 0 5802 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 26768



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3497
/proc/meminfo: memFree=1822376/2055920 swapFree=4182572/4192956
[pid=3488] ppid=3486 vsize=26768 CPUtime=1800.06
/proc/3488/stat : 3488 (pbscip.linux.x8) R 3486 3488 3212 0 -1 4194304 19910 0 0 0 178981 1025 0 0 25 0 1 0 181400315 27410432 5998 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3488/statm: 6692 5998 582 886 0 5802 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 26768

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 0
Real time (s): 1800.68
CPU time (s): 1800.14
CPU user time (s): 1789.89
CPU system time (s): 10.2544
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 33544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.89
system time used= 10.2544
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19915
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= 3
involuntary context switches= 2414

runsolver used 1.50377 second user time and 3.48547 second system time

The end

Launcher Data 

Begin job on node39 at 2009-06-16 09:40:32
IDJOB=1868750
IDBENCH=1956
IDSOLVER=683
FILE ID=node39/1868750-1245138032
PBS_JOBID= 9363694
Free space on /tmp= 66128 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1868750-1245138032/watcher-1868750-1245138032 -o /tmp/evaluation-result-1868750-1245138032/solver-1868750-1245138032 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868750-1245138032.opb

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

MD5SUM BENCH= 0a5749e09f3f6f40d04f442dc86d22a6
RANDOM SEED=2010557638

node39.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.263
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.263
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:       1845640 kB
Buffers:         31536 kB
Cached:         109972 kB
SwapCached:       4216 kB
Active:          45500 kB
Inactive:       103980 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1845640 kB
SwapTotal:     4192956 kB
SwapFree:      4182572 kB
Dirty:            9872 kB
Writeback:           0 kB
Mapped:          13660 kB
Slab:            46804 kB
Committed_AS:   133544 kB
PageTables:       1384 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= 66120 MiB
End job on node39 at 2009-06-16 10:10:35