Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | SAT | 193 | 1796.2 | 1796.87 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_24.opb.PB06.opb |
MD5SUM | 7903a80129c7e51df900bcb9ac0a6f39 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 191 |
Best CPU time to get the best result obtained on this benchmark | 1800.14 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 185 |
Optimality of the best value was proved | NO |
Number of variables | 475 |
Total number of constraints | 475 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 475 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 19 |
Number of terms in the objective function | 475 |
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 | 475 |
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 | 475 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.02 c SCIP version 1.1.0.7 0.00/0.02 c LP-Solver Clp 1.8.2 0.00/0.02 c user parameter file <scip.set> not found - using default parameters 0.00/0.02 c read problem <HOME/instance-1868743-1245136934.opb> 0.00/0.02 c original problem has 475 variables (475 bin, 0 int, 0 impl, 0 cont) and 475 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, 2 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, 475 upgd conss, 2 impls, 0 clqs 0.00/0.05 c (round 3) 0 del vars, 11 del conss, 0 chg bounds, 247 chg sides, 517 chg coeffs, 475 upgd conss, 324 impls, 0 clqs 0.00/0.05 c (round 4) 0 del vars, 49 del conss, 0 chg bounds, 342 chg sides, 646 chg coeffs, 475 upgd conss, 324 impls, 0 clqs 0.00/0.06 c (round 5) 0 del vars, 147 del conss, 0 chg bounds, 361 chg sides, 681 chg coeffs, 475 upgd conss, 324 impls, 0 clqs 0.00/0.06 c (round 6) 0 del vars, 148 del conss, 0 chg bounds, 372 chg sides, 693 chg coeffs, 475 upgd conss, 324 impls, 0 clqs 0.00/0.07 c (0.0s) probing: 101/475 (21.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.00/0.07 c (0.0s) probing aborted: 100/100 successive totally useless probings 0.00/0.07 c presolving (7 rounds): 0.00/0.07 c 0 deleted vars, 148 deleted constraints, 0 tightened bounds, 0 added holes, 372 changed sides, 693 changed coefficients 0.00/0.07 c 324 implications, 0 cliques 0.00/0.07 c presolved problem has 475 variables (475 bin, 0 int, 0 impl, 0 cont) and 601 constraints 0.00/0.07 c 438 constraints of type <knapsack> 0.00/0.07 c 162 constraints of type <setppc> 0.00/0.07 c 1 constraints of type <logicor> 0.00/0.07 c transformed objective value is always integral (scale: 1) 0.00/0.07 c Presolving Time: 0.03 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.39/0.45 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.39/0.45 c 0.4s| 1 | 0 | 1082 |2512k| 0 | 328 | 475 | 601 | 601 | 475 | 601 | 0 | 0 | 0 | 1.553322e+02 | -- | Inf 0.39/0.45 o 342 0.39/0.45 c r 0.4s| 1 | 0 | 1082 |2526k| 0 | 328 | 475 | 601 | 601 | 475 | 601 | 0 | 0 | 0 | 1.553322e+02 | 3.420000e+02 | 120.17% 0.39/0.46 o 341 0.39/0.46 c R 0.4s| 1 | 0 | 1082 |2539k| 0 | 328 | 475 | 601 | 601 | 475 | 601 | 0 | 0 | 0 | 1.553322e+02 | 3.410000e+02 | 119.53% 0.39/0.47 o 340 0.39/0.47 c s 0.4s| 1 | 0 | 1082 |2553k| 0 | 328 | 475 | 601 | 601 | 475 | 601 | 0 | 0 | 0 | 1.553322e+02 | 3.400000e+02 | 118.89% 1.29/1.33 c 1.3s| 1 | 0 | 2030 |2858k| 0 | 386 | 475 | 601 | 601 | 475 | 806 | 205 | 0 | 0 | 1.623469e+02 | 3.400000e+02 | 109.43% 2.19/2.24 c 2.2s| 1 | 0 | 2773 |3082k| 0 | 406 | 475 | 601 | 601 | 475 | 963 | 362 | 0 | 0 | 1.647022e+02 | 3.400000e+02 | 106.43% 3.20/3.25 c 3.2s| 1 | 0 | 3419 |3255k| 0 | 419 | 475 | 601 | 601 | 475 |1089 | 488 | 0 | 0 | 1.660292e+02 | 3.400000e+02 | 104.78% 4.29/4.30 c 4.2s| 1 | 0 | 3890 |3317k| 0 | 431 | 475 | 601 | 601 | 475 |1151 | 550 | 0 | 0 | 1.666491e+02 | 3.400000e+02 | 104.02% 5.29/5.36 c 5.3s| 1 | 0 | 4306 |3366k| 0 | 428 | 475 | 601 | 601 | 475 |1204 | 603 | 0 | 0 | 1.670576e+02 | 3.400000e+02 | 103.52% 6.09/6.15 c 6.1s| 1 | 0 | 4497 |3377k| 0 | 427 | 475 | 601 | 601 | 475 |1219 | 618 | 0 | 0 | 1.671084e+02 | 3.400000e+02 | 103.46% 6.79/6.84 o 215 6.79/6.84 c k 6.8s| 1 | 0 | 4497 |3397k| 0 | 427 | 475 | 601 | 601 | 475 |1219 | 618 | 0 | 0 | 1.671084e+02 | 2.150000e+02 | 28.66% 6.79/6.85 c 6.8s| 1 | 0 | 4497 |3390k| 0 | 427 | 475 | 601 | 601 | 475 |1219 | 618 | 0 | 0 | 1.671084e+02 | 2.150000e+02 | 28.66% 8.99/9.06 c 9.0s| 1 | 2 | 4497 |3391k| 0 | 427 | 475 | 601 | 601 | 475 |1219 | 618 | 0 | 17 | 1.671084e+02 | 2.150000e+02 | 28.66% 62.77/62.85 o 215 62.77/62.85 c p62.6s| 27 | 28 | 32220 |4293k| 14 | - | 475 | 601 | 360 | 475 |1029 | 618 | 0 | 611 | 1.672480e+02 | 2.150000e+02 | 28.55% 62.77/62.85 o 214 62.77/62.85 c p62.6s| 27 | 28 | 32227 |4294k| 14 | - | 475 | 601 | 355 | 475 |1029 | 618 | 0 | 611 | 1.672480e+02 | 2.140000e+02 | 27.95% 62.77/62.85 o 206 62.77/62.85 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 62.77/62.85 c p62.6s| 27 | 28 | 32229 |4295k| 14 | - | 475 | 601 | 352 | 475 |1029 | 618 | 0 | 611 | 1.672480e+02 | 2.060000e+02 | 23.17% 62.77/62.86 o 205 62.77/62.86 c p62.6s| 27 | 28 | 32241 |4296k| 14 | - | 475 | 601 | 348 | 475 |1029 | 618 | 0 | 611 | 1.672480e+02 | 2.050000e+02 | 22.57% 62.77/62.86 o 204 62.77/62.86 c p62.6s| 27 | 28 | 32246 |4299k| 14 | - | 475 | 601 | 342 | 475 |1029 | 618 | 0 | 611 | 1.672480e+02 | 2.040000e+02 | 21.97% 62.77/62.86 o 203 62.77/62.86 c p62.6s| 27 | 28 | 32249 |4300k| 14 | - | 475 | 601 | 342 | 475 |1029 | 618 | 0 | 611 | 1.672480e+02 | 2.030000e+02 | 21.38% 62.77/62.87 o 202 62.77/62.87 c p62.6s| 27 | 28 | 32269 |4304k| 14 | - | 475 | 601 | 334 | 475 |1029 | 618 | 0 | 611 | 1.672480e+02 | 2.020000e+02 | 20.78% 62.77/62.88 o 201 62.77/62.88 c p62.7s| 27 | 28 | 32276 |4308k| 14 | - | 475 | 601 | 327 | 475 |1029 | 618 | 0 | 611 | 1.672480e+02 | 2.010000e+02 | 20.18% 62.77/62.88 o 200 62.77/62.88 c p62.7s| 27 | 28 | 32277 |4309k| 14 | - | 475 | 601 | 325 | 475 |1029 | 618 | 0 | 611 | 1.672480e+02 | 2.000000e+02 | 19.58% 62.77/62.89 o 199 62.77/62.89 c p62.7s| 27 | 28 | 32278 |4310k| 14 | - | 475 | 601 | 322 | 475 |1029 | 618 | 0 | 611 | 1.672480e+02 | 1.990000e+02 | 18.98% 62.77/62.89 o 198 62.77/62.89 c p62.7s| 27 | 28 | 32279 |4311k| 14 | - | 475 | 601 | 320 | 475 |1029 | 618 | 0 | 611 | 1.672480e+02 | 1.980000e+02 | 18.39% 131.34/131.42 o 197 131.34/131.42 c p 131s| 327 | 328 |190476 |4600k| 57 | - | 475 | 601 | 359 | 475 |1029 | 618 | 0 | 814 | 1.675113e+02 | 1.970000e+02 | 17.60% 150.43/150.51 o 196 150.43/150.51 c p 150s| 381 | 382 |238973 |4672k| 57 | - | 475 | 601 | 333 | 475 |1029 | 618 | 0 | 850 | 1.675113e+02 | 1.960000e+02 | 17.01% 150.43/150.53 o 195 150.43/150.53 c p 150s| 381 | 382 |238991 |4675k| 57 | - | 475 | 601 | 330 | 475 |1029 | 618 | 0 | 850 | 1.675113e+02 | 1.950000e+02 | 16.41% 1057.49/1057.93 c 1054s| 10000 | 5075 | 2721k|8270k| 109 | - | 475 | 601 | 467 | 475 |1029 | 618 | 0 |1930 | 1.686311e+02 | 1.950000e+02 | 15.64% 1238.93/1239.44 o 194 1238.93/1239.44 c p1235s| 12711 | 5583 | 3235k|8507k| 109 | - | 475 | 601 | 385 | 475 |1029 | 618 | 0 |2153 | 1.687160e+02 | 1.940000e+02 | 14.99% 1238.93/1239.44 o 193 1238.93/1239.44 c p1235s| 12711 | 5105 | 3235k|8090k| 109 | - | 475 | 601 | 384 | 475 |1029 | 618 | 0 |2153 | 1.687160e+02 | 1.930000e+02 | 14.39% 1687.56/1688.22 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1687.56/1688.22 c 1683s| 20000 | 6958 | 4489k|9472k| 114 | 80 | 475 | 601 | 503 | 475 |1029 | 618 | 0 |2690 | 1.688917e+02 | 1.930000e+02 | 14.27% 1796.12/1796.83 c 1796.12/1796.83 c SCIP Status : solving was interrupted [time limit reached] 1796.12/1796.83 c Solving Time (sec) : 1791.00 1796.12/1796.83 c Solving Nodes : 22252 1796.12/1796.83 c Primal Bound : +1.93000000000000e+02 (707 solutions) 1796.12/1796.83 c Dual Bound : +1.68926912705324e+02 1796.12/1796.83 c Gap : 14.25 % 1796.12/1796.83 c NODE 22252 1796.12/1796.83 c DUAL BOUND 168.927 1796.12/1796.83 c PRIMAL BOUND 193 1796.12/1796.83 c GAP 0.142506 1796.12/1796.83 s SATISFIABLE 1796.12/1796.83 v -x475 x474 -x473 x472 x471 x470 -x469 x468 -x467 -x466 x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 x456 -x455 -x454 x453 1796.12/1796.83 v x452 -x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 x441 x440 -x439 x438 x437 x436 -x435 -x434 -x433 -x432 -x431 1796.12/1796.83 v -x430 x429 -x428 x427 -x426 x425 -x424 -x423 -x422 x421 -x420 x419 -x418 x417 -x416 x415 -x414 x413 -x412 x411 x410 -x409 1796.12/1796.83 v x408 -x407 -x406 x405 -x404 -x403 x402 -x401 -x400 -x399 x398 x397 -x396 -x395 -x394 -x393 x392 x391 x390 -x389 -x388 -x387 x386 1796.12/1796.83 v x385 -x384 -x383 x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 x371 -x370 -x369 -x368 -x367 x366 x365 1796.12/1796.83 v x364 x363 -x362 x361 -x360 x359 -x358 x357 -x356 -x355 -x354 x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 x345 -x344 x343 -x342 1796.12/1796.83 v -x341 -x340 x339 -x338 -x337 -x336 x335 -x334 -x333 -x332 x331 x330 -x329 x328 -x327 -x326 -x325 -x324 x323 -x322 -x321 1796.12/1796.83 v x320 -x319 -x318 -x317 x316 -x315 x314 -x313 -x312 -x311 x310 -x309 -x308 -x307 -x306 x305 -x304 x303 -x302 -x301 -x300 -x299 1796.12/1796.83 v -x298 x297 -x296 -x295 -x294 -x293 x292 x291 x290 x289 -x288 -x287 x286 -x285 -x284 -x283 -x282 x281 -x280 -x279 x278 x277 x276 1796.12/1796.83 v x275 -x274 x273 -x272 -x271 x270 -x269 x268 x267 -x266 x265 x264 -x263 x262 -x261 x260 x259 -x258 x257 -x256 x255 x254 x253 1796.12/1796.83 v -x252 -x251 -x250 -x249 x248 -x247 x246 -x245 -x244 -x243 x242 x241 -x240 -x239 -x238 -x237 -x236 x235 -x234 -x233 x232 -x231 1796.12/1796.83 v -x230 -x229 -x228 x227 x226 x225 -x224 -x223 -x222 x221 -x220 x219 x218 x217 -x216 x215 -x214 -x213 -x212 -x211 x210 x209 1796.12/1796.83 v -x208 x207 -x206 -x205 -x204 -x203 x202 x201 x200 -x199 x198 x197 -x196 -x195 x194 -x193 x192 -x191 -x190 x189 -x188 x187 -x186 1796.12/1796.83 v x185 x184 x183 x182 x181 -x180 -x179 x178 -x177 x176 x175 -x174 -x173 x172 x171 -x170 -x169 -x168 x167 -x166 x165 -x164 -x163 1796.12/1796.83 v -x162 -x161 x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 x150 x149 x148 -x147 x146 x145 x144 x143 x142 -x141 1796.12/1796.83 v x140 -x139 x138 x137 -x136 -x135 -x134 x133 x132 -x131 -x130 x129 -x128 x127 -x126 -x125 -x124 x123 x122 -x121 -x120 -x119 1796.12/1796.83 v -x118 x117 x116 -x115 -x114 x113 x112 -x111 -x110 x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 x101 x100 -x99 -x98 x97 -x96 1796.12/1796.83 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 -x69 -x68 1796.12/1796.83 v -x67 x66 -x65 -x64 x63 x62 -x61 -x60 -x59 -x58 -x57 x56 x55 x54 x53 -x52 -x51 -x50 x49 x48 -x47 x46 x45 -x44 x43 -x42 -x41 1796.12/1796.83 v -x40 x39 -x38 -x37 -x36 x35 -x34 -x33 x32 x31 x30 -x29 x28 x27 -x26 -x25 -x24 -x23 x22 x21 x20 -x19 x18 x17 -x16 -x15 -x14 1796.12/1796.83 v x13 x12 x11 -x10 -x9 -x8 x7 x6 x5 x4 x3 x2 -x1 1796.12/1796.83 c SCIP Status : solving was interrupted [time limit reached] 1796.12/1796.83 c Solving Time : 1791.00 1796.12/1796.83 c Original Problem : 1796.12/1796.83 c Problem name : HOME/instance-1868743-1245136934.opb 1796.12/1796.83 c Variables : 475 (475 binary, 0 integer, 0 implicit integer, 0 continuous) 1796.12/1796.83 c Constraints : 475 initial, 475 maximal 1796.12/1796.83 c Presolved Problem : 1796.12/1796.83 c Problem name : t_HOME/instance-1868743-1245136934.opb 1796.12/1796.83 c Variables : 475 (475 binary, 0 integer, 0 implicit integer, 0 continuous) 1796.12/1796.83 c Constraints : 601 initial, 601 maximal 1796.12/1796.83 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1796.12/1796.83 c trivial : 0.00 0 0 0 0 0 0 0 0 1796.12/1796.83 c dualfix : 0.00 0 0 0 0 0 0 0 0 1796.12/1796.83 c boundshift : 0.00 0 0 0 0 0 0 0 0 1796.12/1796.83 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1796.12/1796.83 c implics : 0.00 0 0 0 0 0 0 0 0 1796.12/1796.83 c probing : 0.00 0 0 0 0 0 0 0 0 1796.12/1796.83 c knapsack : 0.02 0 0 0 0 0 36 372 672 1796.12/1796.83 c setppc : 0.00 0 0 0 0 0 112 0 0 1796.12/1796.83 c linear : 0.01 0 0 0 0 0 0 0 21 1796.12/1796.83 c logicor : 0.00 0 0 0 0 0 0 0 0 1796.12/1796.83 c root node : - 0 - - 0 - - - - 1796.12/1796.83 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1796.12/1796.83 c integral : 0 0 0 15265 0 4 109 0 0 30422 1796.12/1796.83 c knapsack : 438 7 136552 0 1 0 48042 479 0 0 1796.12/1796.83 c setppc : 162 7 136552 0 1 0 16943 0 0 0 1796.12/1796.83 c logicor : 1 7 4869 0 1 0 0 0 0 0 1796.12/1796.83 c countsols : 0 0 0 0 1 0 0 0 0 0 1796.12/1796.83 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1796.12/1796.83 c integral : 166.37 0.00 0.00 166.37 0.00 1796.12/1796.83 c knapsack : 4.71 0.03 4.68 0.00 0.00 1796.12/1796.83 c setppc : 0.84 0.00 0.84 0.00 0.00 1796.12/1796.83 c logicor : 0.01 0.00 0.01 0.00 0.00 1796.12/1796.83 c countsols : 0.00 0.00 0.00 0.00 0.00 1796.12/1796.83 c Propagators : Time Calls Cutoffs DomReds 1796.12/1796.83 c rootredcost : 0.07 15 0 0 1796.12/1796.83 c pseudoobj : 3.29 136708 0 0 1796.12/1796.83 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1796.12/1796.83 c propagation : 0.00 0 0 0 0.0 0 0.0 - 1796.12/1796.83 c infeasible LP : 0.37 8215 0 0 0.0 0 0.0 0 1796.12/1796.83 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1796.12/1796.83 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1796.12/1796.83 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1796.12/1796.83 c applied globally : - - - 0 0.0 - - - 1796.12/1796.83 c applied locally : - - - 0 0.0 - - - 1796.12/1796.83 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1796.12/1796.83 c cut pool : 0.00 6 - - 302 - (maximal pool size: 1464) 1796.12/1796.83 c redcost : 1.33 26200 0 200668 0 0 1796.12/1796.83 c impliedbounds : 0.00 8 0 0 0 0 1796.12/1796.83 c intobj : 0.00 0 0 0 0 0 1796.12/1796.83 c gomory : 2.27 8 0 0 0 0 1796.12/1796.83 c strongcg : 1.98 8 0 0 0 0 1796.12/1796.83 c cmir : 0.35 8 0 0 573 0 1796.12/1796.83 c flowcover : 0.35 8 0 0 760 0 1796.12/1796.83 c clique : 0.00 1 0 0 0 0 1796.12/1796.83 c zerohalf : 0.00 0 0 0 0 0 1796.12/1796.83 c mcf : 0.00 1 0 0 0 0 1796.12/1796.83 c Pricers : Time Calls Vars 1796.12/1796.83 c problem variables: 0.00 0 0 1796.12/1796.83 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1796.12/1796.83 c relpscost : 166.36 15265 4 109 0 0 30422 1796.12/1796.83 c pscost : 0.00 0 0 0 0 0 0 1796.12/1796.83 c inference : 0.00 1 0 0 0 0 2 1796.12/1796.83 c mostinf : 0.00 0 0 0 0 0 0 1796.12/1796.83 c leastinf : 0.00 0 0 0 0 0 0 1796.12/1796.83 c fullstrong : 0.00 0 0 0 0 0 0 1796.12/1796.83 c allfullstrong : 0.00 0 0 0 0 0 0 1796.12/1796.83 c random : 0.00 0 0 0 0 0 0 1796.12/1796.83 c Primal Heuristics : Time Calls Found 1796.12/1796.83 c LP solutions : 0.00 - 0 1796.12/1796.83 c pseudo solutions : 0.00 - 0 1796.12/1796.83 c feaspump : 0.01 0 0 1796.12/1796.83 c intshifting : 0.00 0 0 1796.12/1796.83 c oneopt : 0.01 5 1 1796.12/1796.83 c crossover : 0.12 2 0 1796.12/1796.83 c guideddiving : 59.18 26 0 1796.12/1796.83 c fracdiving : 55.30 28 0 1796.12/1796.83 c coefdiving : 63.74 30 145 1796.12/1796.83 c linesearchdiving : 74.52 51 41 1796.12/1796.83 c veclendiving : 92.83 59 78 1796.12/1796.83 c pscostdiving : 376.25 236 308 1796.12/1796.83 c simplerounding : 1.01 21632 21 1796.12/1796.83 c rounding : 16.43 6569 1 1796.12/1796.83 c shifting : 4.28 1877 1 1796.12/1796.83 c fixandinfer : 0.00 0 0 1796.12/1796.83 c intdiving : 0.00 0 0 1796.12/1796.83 c actconsdiving : 0.00 0 0 1796.12/1796.83 c objpscostdiving : 41.59 15 111 1796.12/1796.83 c rootsoldiving : 10.32 24 0 1796.12/1796.83 c octane : 0.00 0 0 1796.12/1796.83 c rens : 0.01 0 0 1796.12/1796.83 c rins : 0.00 0 0 1796.12/1796.83 c localbranching : 0.00 0 0 1796.12/1796.83 c mutation : 0.00 0 0 1796.12/1796.83 c dins : 0.00 0 0 1796.12/1796.83 c LP : Time Calls Iterations Iter/call Iter/sec 1796.12/1796.83 c primal LP : 0.07 0 0 0.00 0.00 1796.12/1796.83 c dual LP : 806.00 28675 2429982 84.74 3014.87 1796.12/1796.83 c barrier LP : 0.00 0 0 0.00 - 1796.12/1796.83 c diving/probing LP: 745.61 64104 2355352 36.74 3158.96 1796.12/1796.83 c strong branching : 164.56 2813 405663 144.21 2465.14 1796.12/1796.83 c (at root node) : - 17 2958 174.00 - 1796.12/1796.83 c conflict analysis: 0.00 0 0 0.00 - 1796.12/1796.83 c B&B Tree : 1796.12/1796.83 c number of runs : 1 1796.12/1796.83 c nodes : 22252 1796.12/1796.83 c nodes (total) : 22252 1796.12/1796.83 c nodes left : 7442 1796.12/1796.83 c max depth : 114 1796.12/1796.83 c max depth (total): 114 1796.12/1796.83 c backtracks : 3755 (16.9%) 1796.12/1796.83 c delayed cutoffs : 0 1796.12/1796.83 c repropagations : 0 (0 domain reductions, 0 cutoffs) 1796.12/1796.83 c avg switch length: 6.26 1796.12/1796.83 c switching time : 2.43 1796.12/1796.83 c Solution : 1796.12/1796.83 c Solutions found : 707 (20 improvements) 1796.12/1796.83 c Primal Bound : +1.93000000000000e+02 (in run 1, after 12711 nodes, 1235.40 seconds, depth 189, found by <pscostdiving>) 1796.12/1796.83 c Dual Bound : +1.68926912705324e+02 1796.12/1796.83 c Gap : 14.25 % 1796.12/1796.83 c Root Dual Bound : +1.67108364143682e+02 1796.12/1796.86 c Time complete: 1796.19.
OK 193
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1868743-1245136934/watcher-1868743-1245136934 -o /tmp/evaluation-result-1868743-1245136934/solver-1868743-1245136934 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868743-1245136934.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.05 1.01 1.00 3/64 3994 /proc/meminfo: memFree=1116168/2055924 swapFree=4191900/4192956 [pid=3994] ppid=3992 vsize=5812 CPUtime=0 /proc/3994/stat : 3994 (pbscip.linux.x8) R 3992 3994 3796 0 -1 4194304 516 0 0 0 0 0 0 0 18 0 1 0 181294252 5951488 500 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/3994/statm: 1453 502 332 1256 0 192 0 [startup+0.0774331 s] /proc/loadavg: 1.05 1.01 1.00 3/64 3994 /proc/meminfo: memFree=1116168/2055924 swapFree=4191900/4192956 [pid=3994] ppid=3992 vsize=16792 CPUtime=0.07 /proc/3994/stat : 3994 (pbscip.linux.x8) R 3992 3994 3796 0 -1 4194304 3452 0 0 0 6 1 0 0 18 0 1 0 181294252 17195008 3082 1992294400 4194304 9342243 548682068736 18446744073709551615 7303690 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3994/statm: 4198 3082 549 1256 0 2937 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 16792 [startup+0.101436 s] /proc/loadavg: 1.05 1.01 1.00 3/64 3994 /proc/meminfo: memFree=1116168/2055924 swapFree=4191900/4192956 [pid=3994] ppid=3992 vsize=18708 CPUtime=0.09 /proc/3994/stat : 3994 (pbscip.linux.x8) R 3992 3994 3796 0 -1 4194304 3689 0 0 0 8 1 0 0 18 0 1 0 181294252 19156992 3319 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3994/statm: 4677 3319 620 1256 0 3416 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18708 [startup+0.301475 s] /proc/loadavg: 1.05 1.01 1.00 3/64 3994 /proc/meminfo: memFree=1116168/2055924 swapFree=4191900/4192956 [pid=3994] ppid=3992 vsize=19120 CPUtime=0.29 /proc/3994/stat : 3994 (pbscip.linux.x8) R 3992 3994 3796 0 -1 4194304 3838 0 0 0 28 1 0 0 19 0 1 0 181294252 19578880 3468 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3994/statm: 4780 3468 621 1256 0 3519 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19120 [startup+0.701554 s] /proc/loadavg: 1.05 1.01 1.00 3/64 3994 /proc/meminfo: memFree=1116168/2055924 swapFree=4191900/4192956 [pid=3994] ppid=3992 vsize=19120 CPUtime=0.69 /proc/3994/stat : 3994 (pbscip.linux.x8) R 3992 3994 3796 0 -1 4194304 3951 0 0 0 68 1 0 0 22 0 1 0 181294252 19578880 3581 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3994/statm: 4780 3581 643 1256 0 3519 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19120 [startup+1.50171 s] /proc/loadavg: 1.04 1.01 1.00 2/65 3995 /proc/meminfo: memFree=1103552/2055924 swapFree=4191900/4192956 [pid=3994] ppid=3992 vsize=20448 CPUtime=1.49 /proc/3994/stat : 3994 (pbscip.linux.x8) R 3992 3994 3796 0 -1 4194304 4252 0 0 0 148 1 0 0 25 0 1 0 181294252 20938752 3882 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3994/statm: 5112 3882 660 1256 0 3851 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20448 [startup+3.10203 s] /proc/loadavg: 1.04 1.01 1.00 2/65 3995 /proc/meminfo: memFree=1102720/2055924 swapFree=4191900/4192956 [pid=3994] ppid=3992 vsize=22092 CPUtime=3.09 /proc/3994/stat : 3994 (pbscip.linux.x8) R 3992 3994 3796 0 -1 4194304 4641 0 0 0 307 2 0 0 25 0 1 0 181294252 22622208 4271 1992294400 4194304 9342243 548682068736 18446744073709551615 6960228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3994/statm: 5523 4271 660 1256 0 4262 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22092 [startup+6.30165 s] /proc/loadavg: 1.04 1.01 1.00 2/65 3995 /proc/meminfo: memFree=1100928/2055924 swapFree=4191900/4192956 [pid=3994] ppid=3992 vsize=22484 CPUtime=6.29 /proc/3994/stat : 3994 (pbscip.linux.x8) R 3992 3994 3796 0 -1 4194304 4794 0 0 0 626 3 0 0 25 0 1 0 181294252 23023616 4424 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3994/statm: 5621 4424 660 1256 0 4360 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22484 [startup+12.7029 s] /proc/loadavg: 1.04 1.01 1.00 2/65 3995 /proc/meminfo: memFree=1100616/2055924 swapFree=4191900/4192956 [pid=3994] ppid=3992 vsize=24392 CPUtime=12.69 /proc/3994/stat : 3994 (pbscip.linux.x8) R 3992 3994 3796 0 -1 4194304 6094 0 0 0 1264 5 0 0 25 0 1 0 181294252 24977408 4501 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3994/statm: 6098 4501 680 1256 0 4837 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24392 [startup+25.5014 s] /proc/loadavg: 1.03 1.01 1.00 2/65 3995 /proc/meminfo: memFree=1101320/2055924 swapFree=4191900/4192956 [pid=3994] ppid=3992 vsize=24048 CPUtime=25.48 /proc/3994/stat : 3994 (pbscip.linux.x8) R 3992 3994 3796 0 -1 4194304 11238 0 0 0 2540 8 0 0 25 0 1 0 181294252 24625152 4339 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3994/statm: 6012 4339 681 1256 0 4751 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 24048 [startup+51.1014 s] /proc/loadavg: 1.02 1.01 1.00 2/65 3995 /proc/meminfo: memFree=1100360/2055924 swapFree=4191900/4192956 [pid=3994] ppid=3992 vsize=25180 CPUtime=51.07 /proc/3994/stat : 3994 (pbscip.linux.x8) R 3992 3994 3796 0 -1 4194304 12773 0 0 0 5093 14 0 0 25 0 1 0 181294252 25784320 4611 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3994/statm: 6295 4611 692 1256 0 5034 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 25180 [startup+102.305 s] /proc/loadavg: 1.01 1.00 1.00 2/65 3995 /proc/meminfo: memFree=1099720/2055924 swapFree=4191900/4192956 [pid=3994] ppid=3992 vsize=23208 CPUtime=102.26 /proc/3994/stat : 3994 (pbscip.linux.x8) R 3992 3994 3796 0 -1 4194304 15732 0 0 0 10199 27 0 0 25 0 1 0 181294252 23764992 4602 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3994/statm: 5802 4602 693 1256 0 4541 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 23208 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3995 /proc/meminfo: memFree=1100168/2055924 swapFree=4191900/4192956 [pid=3994] ppid=3992 vsize=23144 CPUtime=162.23 /proc/3994/stat : 3994 (pbscip.linux.x8) R 3992 3994 3796 0 -1 4194304 20677 0 0 0 16178 45 0 0 25 0 1 0 181294252 23699456 4756 1992294400 4194304 9342243 548682068736 18446744073709551615 6922397 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3994/statm: 5786 4756 699 1256 0 4525 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 23144 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3995 /proc/meminfo: memFree=1099912/2055924 swapFree=4191900/4192956 [pid=3994] ppid=3992 vsize=23564 CPUtime=222.21 /proc/3994/stat : 3994 (pbscip.linux.x8) R 3992 3994 3796 0 -1 4194304 27474 0 0 0 22154 67 0 0 25 0 1 0 181294252 24129536 4705 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3994/statm: 5891 4705 704 1256 0 4630 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 23564 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3995 /proc/meminfo: memFree=1099592/2055924 swapFree=4191900/4192956 [pid=3994] ppid=3992 vsize=23284 CPUtime=282.19 /proc/3994/stat : 3994 (pbscip.linux.x8) R 3992 3994 3796 0 -1 4194304 31122 0 0 0 28136 83 0 0 25 0 1 0 181294252 23842816 4799 1992294400 4194304 9342243 548682068736 18446744073709551615 6040609 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3994/statm: 5821 4799 704 1256 0 4560 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 23284 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3995 /proc/meminfo: memFree=1099016/2055924 swapFree=4191900/4192956 [pid=3994] ppid=3992 vsize=23924 CPUtime=342.16 /proc/3994/stat : 3994 (pbscip.linux.x8) R 3992 3994 3796 0 -1 4194304 32599 0 0 0 34116 100 0 0 25 0 1 0 181294252 24498176 4900 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3994/statm: 5981 4900 704 1256 0 4720 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 23924 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3995 /proc/meminfo: memFree=1098824/2055924 swapFree=4191900/4192956 [pid=3994] ppid=3992 vsize=25660 CPUtime=402.14 /proc/3994/stat : 3994 (pbscip.linux.x8) R 3992 3994 3796 0 -1 4194304 34692 0 0 0 40096 118 0 0 25 0 1 0 181294252 26275840 4957 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3994/statm: 6415 4957 704 1256 0 5154 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 25660 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3995 /proc/meminfo: memFree=1098248/2055924 swapFree=4191900/4192956 [pid=3994] ppid=3992 vsize=26608 CPUtime=462.12 /proc/3994/stat : 3994 (pbscip.linux.x8) R 3992 3994 3796 0 -1 4194304 35688 0 0 0 46079 133 0 0 25 0 1 0 181294252 27246592 5090 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3994/statm: 6652 5090 704 1256 0 5391 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 26608 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3995 /proc/meminfo: memFree=1097160/2055924 swapFree=4191900/4192956 [pid=3994] ppid=3992 vsize=27204 CPUtime=522.1 /proc/3994/stat : 3994 (pbscip.linux.x8) R 3992 3994 3796 0 -1 4194304 37442 0 0 0 52061 149 0 0 25 0 1 0 181294252 27856896 5350 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3994/statm: 6801 5350 704 1256 0 5540 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 27204 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3995 /proc/meminfo: memFree=1097480/2055924 swapFree=4191900/4192956 [pid=3994] ppid=3992 vsize=25512 CPUtime=582.07 /proc/3994/stat : 3994 (pbscip.linux.x8) R 3992 3994 3796 0 -1 4194304 39305 0 0 0 58043 164 0 0 25 0 1 0 181294252 26124288 5291 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3994/statm: 6378 5291 704 1256 0 5117 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 25512 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3995 /proc/meminfo: memFree=1096968/2055924 swapFree=4191900/4192956 [pid=3994] ppid=3992 vsize=26040 CPUtime=642.05 /proc/3994/stat : 3994 (pbscip.linux.x8) R 3992 3994 3796 0 -1 4194304 40349 0 0 0 64025 180 0 0 25 0 1 0 181294252 26664960 5413 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3994/statm: 6510 5413 704 1256 0 5249 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 26040 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1094664/2055924 swapFree=4191900/4192956 [pid=3994] ppid=3992 vsize=29352 CPUtime=1121.87 /proc/3994/stat : 3994 (pbscip.linux.x8) R 3992 3994 3796 0 -1 4194304 49549 0 0 0 111868 319 0 0 25 0 1 0 181294252 30056448 5984 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3994/statm: 7338 5984 704 1256 0 6077 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 29352 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3995 /proc/meminfo: memFree=1093960/2055924 swapFree=4191900/4192956 [pid=3994] ppid=3992 vsize=29240 CPUtime=1181.85 /proc/3994/stat : 3994 (pbscip.linux.x8) R 3992 3994 3796 0 -1 4194304 52302 0 0 0 117848 337 0 0 25 0 1 0 181294252 29941760 6210 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3994/statm: 7310 6210 704 1256 0 6049 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 29240 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3995 /proc/meminfo: memFree=1093384/2055924 swapFree=4191900/4192956 [pid=3994] ppid=3992 vsize=29224 CPUtime=1241.82 /proc/3994/stat : 3994 (pbscip.linux.x8) R 3992 3994 3796 0 -1 4194304 54738 0 0 0 123826 356 0 0 25 0 1 0 181294252 29925376 6315 1992294400 4194304 9342243 548682068736 18446744073709551615 6341948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3994/statm: 7306 6315 704 1256 0 6045 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 29224 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3995 /proc/meminfo: memFree=1093960/2055924 swapFree=4191900/4192956 [pid=3994] ppid=3992 vsize=29220 CPUtime=1301.81 /proc/3994/stat : 3994 (pbscip.linux.x8) R 3992 3994 3796 0 -1 4194304 58875 0 0 0 129807 374 0 0 25 0 1 0 181294252 29921280 6160 1992294400 4194304 9342243 548682068736 18446744073709551615 6896690 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3994/statm: 7305 6160 704 1256 0 6044 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 29220 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3995 /proc/meminfo: memFree=1093192/2055924 swapFree=4191900/4192956 [pid=3994] ppid=3992 vsize=29556 CPUtime=1361.79 /proc/3994/stat : 3994 (pbscip.linux.x8) R 3992 3994 3796 0 -1 4194304 63168 0 0 0 135785 394 0 0 25 0 1 0 181294252 30265344 6350 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3994/statm: 7389 6350 704 1256 0 6128 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 29556 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3995 /proc/meminfo: memFree=1093576/2055924 swapFree=4191900/4192956 [pid=3994] ppid=3992 vsize=29552 CPUtime=1421.77 /proc/3994/stat : 3994 (pbscip.linux.x8) R 3992 3994 3796 0 -1 4194304 66430 0 0 0 141764 413 0 0 25 0 1 0 181294252 30261248 6235 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3994/statm: 7388 6235 704 1256 0 6127 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 29552 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3995 /proc/meminfo: memFree=1093000/2055924 swapFree=4191900/4192956 [pid=3994] ppid=3992 vsize=29556 CPUtime=1481.74 /proc/3994/stat : 3994 (pbscip.linux.x8) R 3992 3994 3796 0 -1 4194304 70205 0 0 0 147742 432 0 0 25 0 1 0 181294252 30265344 6164 1992294400 4194304 9342243 548682068736 18446744073709551615 6938251 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3994/statm: 7389 6164 704 1256 0 6128 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 29556 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3995 /proc/meminfo: memFree=1092232/2055924 swapFree=4191900/4192956 [pid=3994] ppid=3992 vsize=32196 CPUtime=1541.71 /proc/3994/stat : 3994 (pbscip.linux.x8) R 3992 3994 3796 0 -1 4194304 70597 0 0 0 153723 448 0 0 25 0 1 0 181294252 32968704 6556 1992294400 4194304 9342243 548682068736 18446744073709551615 6921222 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3994/statm: 8049 6556 704 1256 0 6788 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 32196 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3995 /proc/meminfo: memFree=1092040/2055924 swapFree=4191900/4192956 [pid=3994] ppid=3992 vsize=32196 CPUtime=1601.7 /proc/3994/stat : 3994 (pbscip.linux.x8) R 3992 3994 3796 0 -1 4194304 70640 0 0 0 159708 462 0 0 25 0 1 0 181294252 32968704 6599 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3994/statm: 8049 6599 704 1256 0 6788 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 32196 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3995 /proc/meminfo: memFree=1089608/2055924 swapFree=4191900/4192956 [pid=3994] ppid=3992 vsize=33184 CPUtime=1661.67 /proc/3994/stat : 3994 (pbscip.linux.x8) R 3992 3994 3796 0 -1 4194304 71242 0 0 0 165691 476 0 0 25 0 1 0 181294252 33980416 7201 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3994/statm: 8296 7201 704 1256 0 7035 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 33184 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3995 /proc/meminfo: memFree=1089480/2055924 swapFree=4191900/4192956 [pid=3994] ppid=3992 vsize=33184 CPUtime=1721.65 /proc/3994/stat : 3994 (pbscip.linux.x8) R 3992 3994 3796 0 -1 4194304 71264 0 0 0 171672 493 0 0 25 0 1 0 181294252 33980416 7223 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3994/statm: 8296 7223 704 1256 0 7035 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 33184 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3997 /proc/meminfo: memFree=1089480/2055924 swapFree=4191900/4192956 [pid=3994] ppid=3992 vsize=33184 CPUtime=1781.62 /proc/3994/stat : 3994 (pbscip.linux.x8) R 3992 3994 3796 0 -1 4194304 71267 0 0 0 177653 509 0 0 25 0 1 0 181294252 33980416 7226 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3994/statm: 8296 7226 704 1256 0 7035 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (KiB) 33184 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 3997 /proc/meminfo: memFree=1089480/2055924 swapFree=4191900/4192956 [pid=3994] ppid=3992 vsize=33184 CPUtime=1784.83 /proc/3994/stat : 3994 (pbscip.linux.x8) R 3992 3994 3796 0 -1 4194304 71267 0 0 0 177972 511 0 0 25 0 1 0 181294252 33980416 7226 1992294400 4194304 9342243 548682068736 18446744073709551615 6080965 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3994/statm: 8296 7226 704 1256 0 7035 0 Current children cumulated CPU time (s) 1784.83 Current children cumulated vsize (KiB) 33184 [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3997 /proc/meminfo: memFree=1089480/2055924 swapFree=4191900/4192956 [pid=3994] ppid=3992 vsize=33184 CPUtime=1791.22 /proc/3994/stat : 3994 (pbscip.linux.x8) R 3992 3994 3796 0 -1 4194304 71267 0 0 0 178610 512 0 0 25 0 1 0 181294252 33980416 7226 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3994/statm: 8296 7226 704 1256 0 7035 0 Current children cumulated CPU time (s) 1791.22 Current children cumulated vsize (KiB) 33184 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3997 /proc/meminfo: memFree=1089480/2055924 swapFree=4191900/4192956 [pid=3994] ppid=3992 vsize=33184 CPUtime=1794.42 /proc/3994/stat : 3994 (pbscip.linux.x8) R 3992 3994 3796 0 -1 4194304 71267 0 0 0 178929 513 0 0 25 0 1 0 181294252 33980416 7226 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3994/statm: 8296 7226 704 1256 0 7035 0 Current children cumulated CPU time (s) 1794.42 Current children cumulated vsize (KiB) 33184 [startup+1795.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3997 /proc/meminfo: memFree=1089480/2055924 swapFree=4191900/4192956 [pid=3994] ppid=3992 vsize=33184 CPUtime=1795.22 /proc/3994/stat : 3994 (pbscip.linux.x8) R 3992 3994 3796 0 -1 4194304 71267 0 0 0 179009 513 0 0 25 0 1 0 181294252 33980416 7226 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3994/statm: 8296 7226 704 1256 0 7035 0 Current children cumulated CPU time (s) 1795.22 Current children cumulated vsize (KiB) 33184 [startup+1796.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3997 /proc/meminfo: memFree=1089480/2055924 swapFree=4191900/4192956 [pid=3994] ppid=3992 vsize=33184 CPUtime=1795.62 /proc/3994/stat : 3994 (pbscip.linux.x8) R 3992 3994 3796 0 -1 4194304 71267 0 0 0 179049 513 0 0 25 0 1 0 181294252 33980416 7226 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3994/statm: 8296 7226 704 1256 0 7035 0 Current children cumulated CPU time (s) 1795.62 Current children cumulated vsize (KiB) 33184 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3997 /proc/meminfo: memFree=1089480/2055924 swapFree=4191900/4192956 [pid=3994] ppid=3992 vsize=33184 CPUtime=1796.02 /proc/3994/stat : 3994 (pbscip.linux.x8) R 3992 3994 3796 0 -1 4194304 71267 0 0 0 179089 513 0 0 25 0 1 0 181294252 33980416 7226 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3994/statm: 8296 7226 704 1256 0 7035 0 Current children cumulated CPU time (s) 1796.02 Current children cumulated vsize (KiB) 33184 [startup+1796.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3997 /proc/meminfo: memFree=1089480/2055924 swapFree=4191900/4192956 [pid=3994] ppid=3992 vsize=33184 CPUtime=1796.12 /proc/3994/stat : 3994 (pbscip.linux.x8) R 3992 3994 3796 0 -1 4194304 71267 0 0 0 179099 513 0 0 25 0 1 0 181294252 33980416 7226 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3994/statm: 8296 7226 704 1256 0 7035 0 Current children cumulated CPU time (s) 1796.12 Current children cumulated vsize (KiB) 33184 Child status: 0 Real time (s): 1796.87 CPU time (s): 1796.2 CPU user time (s): 1791.05 CPU system time (s): 5.14322 CPU usage (%): 99.9626 Max. virtual memory (cumulated for all children) (KiB): 33184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.05 system time used= 5.14322 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 71273 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= 5 involuntary context switches= 2760 runsolver used 1.61075 second user time and 3.35449 second system time The end
Begin job on node6 at 2009-06-16 09:22:14 IDJOB=1868743 IDBENCH=1952 IDSOLVER=684 FILE ID=node6/1868743-1245136934 PBS_JOBID= 9363708 Free space on /tmp= 66240 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_24.opb.PB06.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-1868743-1245136934/watcher-1868743-1245136934 -o /tmp/evaluation-result-1868743-1245136934/solver-1868743-1245136934 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868743-1245136934.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7903a80129c7e51df900bcb9ac0a6f39 RANDOM SEED=490309674 node6.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.265 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.265 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: 2055924 kB MemFree: 1116648 kB Buffers: 60048 kB Cached: 796832 kB SwapCached: 260 kB Active: 97796 kB Inactive: 772360 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 1116648 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 11784 kB Writeback: 0 kB Mapped: 21808 kB Slab: 55068 kB Committed_AS: 154336 kB PageTables: 1456 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= 66232 MiB End job on node6 at 2009-06-16 09:52:11