Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT | 191 | 1789.52 | 1790.05 |
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 | 1789.52 |
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.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2703593-1278551877.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.02 c problem read 0.00/0.02 c presolving settings loaded 0.00/0.03 o 475 0.00/0.03 c feasible solution found by trivial heuristic, objective value 4.750000e+02 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.05 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.06 c (round 3) 0 del vars, 3 del conss, 0 chg bounds, 137 chg sides, 384 chg coeffs, 475 upgd conss, 324 impls, 0 clqs 0.00/0.07 c (round 4) 0 del vars, 50 del conss, 0 chg bounds, 270 chg sides, 611 chg coeffs, 475 upgd conss, 324 impls, 0 clqs 0.00/0.07 c (round 5) 0 del vars, 66 del conss, 0 chg bounds, 291 chg sides, 645 chg coeffs, 475 upgd conss, 324 impls, 0 clqs 0.00/0.07 c (round 6) 0 del vars, 66 del conss, 0 chg bounds, 307 chg sides, 671 chg coeffs, 475 upgd conss, 324 impls, 0 clqs 0.00/0.07 c (round 7) 0 del vars, 66 del conss, 0 chg bounds, 308 chg sides, 672 chg coeffs, 475 upgd conss, 324 impls, 0 clqs 0.00/0.09 c (0.1s) probing: 101/475 (21.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.00/0.09 c (0.1s) probing aborted: 100/100 successive totally useless probings 0.00/0.09 c presolving (8 rounds): 0.00/0.09 c 0 deleted vars, 66 deleted constraints, 0 tightened bounds, 0 added holes, 308 changed sides, 672 changed coefficients 0.00/0.09 c 324 implications, 0 cliques 0.00/0.09 c presolved problem has 475 variables (475 bin, 0 int, 0 impl, 0 cont) and 567 constraints 0.00/0.09 c 453 constraints of type <knapsack> 0.00/0.09 c 114 constraints of type <setppc> 0.00/0.09 c transformed objective value is always integral (scale: 1) 0.00/0.09 c Presolving Time: 0.06 0.00/0.09 c - non default parameters ---------------------------------------------------------------------- 0.00/0.09 c # SCIP version 1.2.1.3 0.00/0.09 c 0.00/0.09 c # frequency for displaying node information lines 0.00/0.09 c # [type: int, range: [-1,2147483647], default: 100] 0.00/0.09 c display/freq = 10000 0.00/0.09 c 0.00/0.09 c # maximal time in seconds to run 0.00/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.00/0.09 c limits/time = 1789.99 0.00/0.09 c 0.00/0.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.00/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.00/0.09 c limits/memory = 1620 0.00/0.09 c 0.00/0.09 c # default clock type (1: CPU user seconds, 2: wall clock time) 0.00/0.09 c # [type: int, range: [1,2], default: 1] 0.00/0.09 c timing/clocktype = 2 0.00/0.09 c 0.00/0.09 c # should presolving try to simplify inequalities 0.00/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.00/0.09 c constraints/linear/simplifyinequalities = TRUE 0.00/0.09 c 0.00/0.09 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 0.00/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.00/0.09 c constraints/indicator/addCouplingCons = TRUE 0.00/0.09 c 0.00/0.09 c # should presolving try to simplify knapsacks 0.00/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.00/0.09 c constraints/knapsack/simplifyinequalities = TRUE 0.00/0.09 c 0.00/0.09 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.00/0.09 c # [type: int, range: [-1,2147483647], default: -1] 0.00/0.09 c separating/rapidlearning/freq = 0 0.00/0.09 c 0.00/0.09 c ----------------------------------------------------------------------------------------------- 0.00/0.09 c start solving 0.00/0.09 c 0.69/0.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.69/0.77 c t 0.7s| 1 | 0 | 2036 | - |2599k| 0 | 319 | 475 | 567 | 475 | 567 | 0 | 0 | 0 | 1.515569e+02 | 4.750000e+02 | 213.41% 0.69/0.77 o 336 0.69/0.77 c r 0.7s| 1 | 0 | 2036 | - |2612k| 0 | 319 | 475 | 567 | 475 | 567 | 0 | 0 | 0 | 1.515569e+02 | 3.360000e+02 | 121.70% 0.69/0.78 o 335 0.69/0.78 c R 0.8s| 1 | 0 | 2036 | - |2626k| 0 | 319 | 475 | 567 | 475 | 567 | 0 | 0 | 0 | 1.515569e+02 | 3.350000e+02 | 121.04% 0.69/0.79 o 334 0.69/0.79 c s 0.8s| 1 | 0 | 2036 | - |2639k| 0 | 319 | 475 | 567 | 475 | 567 | 0 | 0 | 0 | 1.515569e+02 | 3.340000e+02 | 120.38% 1.39/1.47 o 218 1.39/1.47 c y 1.4s| 1 | 0 | 2036 | - |2978k| 0 | 319 | 475 | 567 | 475 | 567 | 0 | 0 | 0 | 1.515569e+02 | 2.180000e+02 | 43.84% 1.99/2.06 c 2.0s| 1 | 0 | 2854 | - |2913k| 0 | 378 | 475 | 567 | 475 | 792 | 225 | 0 | 0 | 1.599288e+02 | 2.180000e+02 | 36.31% 3.20/3.20 c 3.2s| 1 | 0 | 3679 | - |3144k| 0 | 415 | 475 | 567 | 475 | 977 | 410 | 0 | 0 | 1.636464e+02 | 2.180000e+02 | 33.21% 4.40/4.44 c 4.4s| 1 | 0 | 4436 | - |3315k| 0 | 418 | 475 | 567 | 475 |1116 | 549 | 0 | 0 | 1.655880e+02 | 2.180000e+02 | 31.65% 5.59/5.66 c 5.6s| 1 | 0 | 5028 | - |3427k| 0 | 424 | 475 | 567 | 475 |1211 | 644 | 0 | 0 | 1.665298e+02 | 2.180000e+02 | 30.91% 6.79/6.87 c 6.8s| 1 | 0 | 5489 | - |3481k| 0 | 424 | 475 | 567 | 475 |1271 | 704 | 0 | 0 | 1.669085e+02 | 2.180000e+02 | 30.61% 7.99/8.05 c 8.0s| 1 | 0 | 5898 | - |3509k| 0 | 429 | 475 | 567 | 475 |1300 | 733 | 0 | 0 | 1.671744e+02 | 2.180000e+02 | 30.40% 9.09/9.13 c 9.1s| 1 | 0 | 6120 | - |3533k| 0 | 433 | 475 | 567 | 475 |1323 | 756 | 0 | 0 | 1.672656e+02 | 2.180000e+02 | 30.33% 9.89/9.92 c 9.9s| 1 | 0 | 6172 | - |3541k| 0 | 435 | 475 | 567 | 475 |1327 | 760 | 0 | 0 | 1.672697e+02 | 2.180000e+02 | 30.33% 18.59/18.63 c 18.6s| 1 | 2 | 6172 | - |3561k| 0 | 435 | 475 | 567 | 475 |1327 | 760 | 0 | 16 | 1.672697e+02 | 2.180000e+02 | 30.33% 88.46/88.56 o 218 88.46/88.56 c c88.5s| 15 | 16 | 19867 | 978.2 |4353k| 14 | - | 475 | 567 | 475 | 975 | 760 | 0 | 258 | 1.676224e+02 | 2.180000e+02 | 30.05% 88.46/88.56 o 217 88.46/88.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 88.46/88.56 c c88.5s| 15 | 16 | 19877 | 978.9 |4355k| 14 | - | 475 | 567 | 475 | 975 | 760 | 0 | 258 | 1.676224e+02 | 2.170000e+02 | 29.46% 92.66/92.74 o 215 92.66/92.74 c p92.7s| 27 | 28 | 29387 | 892.9 |4414k| 14 | - | 475 | 567 | 475 | 975 | 760 | 0 | 258 | 1.676224e+02 | 2.150000e+02 | 28.26% 92.66/92.74 o 211 92.66/92.74 c p92.7s| 27 | 28 | 29401 | 893.4 |4415k| 14 | - | 475 | 567 | 475 | 975 | 760 | 0 | 258 | 1.676224e+02 | 2.110000e+02 | 25.88% 92.66/92.74 o 210 92.66/92.74 c p92.7s| 27 | 28 | 29402 | 893.5 |4416k| 14 | - | 475 | 567 | 475 | 975 | 760 | 0 | 258 | 1.676224e+02 | 2.100000e+02 | 25.28% 92.66/92.75 o 208 92.66/92.75 c p92.7s| 27 | 28 | 29411 | 893.8 |4417k| 14 | - | 475 | 567 | 475 | 975 | 760 | 0 | 258 | 1.676224e+02 | 2.080000e+02 | 24.09% 92.66/92.79 o 207 92.66/92.79 c p92.8s| 27 | 28 | 29562 | 899.6 |4443k| 14 | - | 475 | 567 | 475 | 975 | 760 | 0 | 258 | 1.676224e+02 | 2.070000e+02 | 23.49% 112.35/112.40 o 206 112.35/112.40 c l 112s| 87 | 88 | 66448 | 700.9 |4545k| 18 | - | 475 | 573 | 475 | 975 | 760 | 6 | 270 | 1.676224e+02 | 2.060000e+02 | 22.90% 112.35/112.41 o 205 112.35/112.41 c l 112s| 87 | 88 | 66470 | 701.1 |4551k| 18 | - | 475 | 573 | 475 | 975 | 760 | 6 | 270 | 1.676224e+02 | 2.050000e+02 | 22.30% 112.35/112.41 o 204 112.35/112.41 c l 112s| 87 | 88 | 66472 | 701.2 |4552k| 18 | - | 475 | 573 | 475 | 975 | 760 | 6 | 270 | 1.676224e+02 | 2.040000e+02 | 21.70% 112.35/112.42 o 203 112.35/112.42 c b 112s| 87 | 88 | 66472 | 701.2 |4408k| 18 | 360 | 475 | 573 | 475 | 975 | 760 | 6 | 270 | 1.676224e+02 | 2.030000e+02 | 21.11% 157.14/157.23 o 202 157.14/157.23 c p 157s| 202 | 203 |156045 | 745.6 |4653k| 27 | - | 475 | 573 | 475 | 975 | 760 | 6 | 305 | 1.676224e+02 | 2.020000e+02 | 20.51% 223.82/223.91 o 201 223.82/223.91 c p 224s| 358 | 359 |287291 | 787.4 |4773k| 27 | - | 475 | 587 | 475 | 975 | 760 | 20 | 373 | 1.677776e+02 | 2.010000e+02 | 19.80% 223.82/223.91 o 201 223.82/223.91 c p 224s| 358 | 359 |287295 | 787.5 |4775k| 27 | - | 475 | 587 | 475 | 975 | 760 | 20 | 373 | 1.677776e+02 | 2.010000e+02 | 19.80% 223.82/223.91 o 200 223.82/223.91 c p 224s| 358 | 359 |287296 | 787.5 |4776k| 27 | - | 475 | 587 | 475 | 975 | 760 | 20 | 373 | 1.677776e+02 | 2.000000e+02 | 19.21% 413.65/413.84 o 200 413.65/413.84 c p 414s| 601 | 602 |711826 |1176.1 |4917k| 27 | - | 475 | 597 | 475 | 975 | 760 | 30 | 512 | 1.680330e+02 | 2.000000e+02 | 19.02% 503.82/504.09 o 195 503.82/504.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 503.82/504.09 c C 504s| 801 | 802 |919240 |1141.3 |4899k| 31 | 341 | 475 | 601 | 475 | 975 | 760 | 34 | 536 | 1.681399e+02 | 1.950000e+02 | 15.97% 503.93/504.16 o 194 503.93/504.16 c b 504s| 802 | 803 |919350 |1140.0 |4907k| 31 | 343 | 475 | 601 | 475 | 975 | 760 | 34 | 536 | 1.681399e+02 | 1.940000e+02 | 15.38% 1457.36/1457.81 c 1458s| 10000 | 4151 | 3109k| 310.4 |7426k| 111 | - | 475 | 690 | 475 | 975 | 760 | 127 |1279 | 1.686690e+02 | 1.940000e+02 | 15.02% 1680.59/1681.15 o 191 1680.59/1681.15 c C1681s| 13244 | 4045 | 3647k| 274.9 |7197k| 111 | - | 475 | 699 | 475 | 975 | 760 | 145 |1488 | 1.687255e+02 | 1.910000e+02 | 13.20% 1789.46/1790.02 c 1789.46/1790.02 c SCIP Status : solving was interrupted [time limit reached] 1789.46/1790.02 c Solving Time (sec) : 1790.00 1789.46/1790.02 c Solving Nodes : 14312 1789.46/1790.02 c Primal Bound : +1.91000000000000e+02 (710 solutions) 1789.46/1790.02 c Dual Bound : +1.68751491481875e+02 1789.46/1790.02 c Gap : 13.18 % 1789.46/1790.02 s SATISFIABLE 1789.46/1790.02 v -x475 x474 x473 -x472 x471 x470 x469 x468 x467 -x466 -x465 -x464 -x463 x462 -x461 -x460 -x459 -x458 -x457 x456 -x455 -x454 x453 1789.46/1790.02 v x452 -x451 x450 -x449 -x448 -x447 -x446 -x445 x444 -x443 -x442 x441 x440 -x439 x438 -x437 x436 -x435 -x434 -x433 -x432 -x431 1789.46/1790.02 v -x430 -x429 x428 x427 -x426 -x425 x424 x423 x422 x421 -x420 -x419 x418 x417 -x416 x415 x414 x413 -x412 x411 x410 -x409 x408 1789.46/1790.02 v x407 -x406 -x405 -x404 -x403 x402 -x401 -x400 -x399 x398 x397 -x396 -x395 -x394 -x393 x392 -x391 x390 -x389 -x388 -x387 x386 1789.46/1790.02 v x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 x372 -x371 -x370 -x369 x368 -x367 x366 x365 -x364 1789.46/1790.02 v -x363 -x362 -x361 -x360 x359 -x358 x357 x356 -x355 -x354 -x353 -x352 x351 -x350 -x349 -x348 x347 x346 -x345 -x344 x343 -x342 1789.46/1790.02 v -x341 x340 x339 -x338 -x337 -x336 x335 -x334 -x333 -x332 x331 x330 -x329 x328 -x327 -x326 -x325 -x324 x323 -x322 -x321 x320 1789.46/1790.02 v -x319 -x318 -x317 x316 -x315 x314 -x313 -x312 -x311 x310 -x309 -x308 -x307 -x306 x305 -x304 -x303 -x302 -x301 x300 -x299 x298 1789.46/1790.02 v x297 x296 -x295 -x294 -x293 x292 x291 -x290 -x289 x288 -x287 x286 -x285 x284 x283 -x282 x281 -x280 -x279 x278 -x277 -x276 -x275 1789.46/1790.02 v -x274 x273 -x272 -x271 -x270 -x269 -x268 x267 -x266 x265 x264 -x263 x262 -x261 -x260 x259 -x258 x257 -x256 -x255 -x254 x253 1789.46/1790.02 v x252 -x251 -x250 -x249 x248 -x247 x246 -x245 -x244 -x243 x242 x241 x240 x239 -x238 -x237 -x236 x235 -x234 -x233 x232 -x231 1789.46/1790.02 v -x230 x229 -x228 -x227 x226 x225 -x224 -x223 -x222 x221 -x220 x219 x218 -x217 -x216 x215 -x214 -x213 x212 -x211 x210 x209 -x208 1789.46/1790.02 v -x207 -x206 -x205 x204 -x203 x202 x201 -x200 x199 x198 -x197 -x196 -x195 x194 x193 x192 -x191 -x190 -x189 -x188 x187 -x186 1789.46/1790.02 v -x185 x184 -x183 x182 -x181 x180 x179 x178 -x177 -x176 x175 -x174 -x173 -x172 x171 -x170 -x169 -x168 x167 -x166 x165 -x164 1789.46/1790.02 v -x163 -x162 x161 x160 -x159 -x158 x157 x156 -x155 x154 x153 -x152 -x151 -x150 x149 x148 x147 x146 -x145 x144 -x143 x142 -x141 1789.46/1790.02 v x140 -x139 -x138 x137 -x136 -x135 -x134 x133 x132 -x131 -x130 x129 -x128 x127 -x126 -x125 -x124 x123 x122 -x121 -x120 -x119 1789.46/1790.02 v -x118 x117 x116 -x115 -x114 x113 x112 -x111 -x110 x109 -x108 -x107 -x106 x105 x104 -x103 -x102 x101 x100 -x99 -x98 x97 -x96 1789.46/1790.02 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 1789.46/1790.02 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 -x40 1789.46/1790.02 v 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 -x13 1789.46/1790.02 v x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 x4 x3 -x2 -x1 1789.46/1790.02 c SCIP Status : solving was interrupted [time limit reached] 1789.46/1790.02 c Solving Time : 1790.00 1789.46/1790.02 c Original Problem : 1789.46/1790.02 c Problem name : HOME/instance-2703593-1278551877.opb 1789.46/1790.02 c Variables : 475 (475 binary, 0 integer, 0 implicit integer, 0 continuous) 1789.46/1790.02 c Constraints : 475 initial, 475 maximal 1789.46/1790.02 c Presolved Problem : 1789.46/1790.02 c Problem name : t_HOME/instance-2703593-1278551877.opb 1789.46/1790.02 c Variables : 475 (475 binary, 0 integer, 0 implicit integer, 0 continuous) 1789.46/1790.02 c Constraints : 567 initial, 709 maximal 1789.46/1790.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1789.46/1790.02 c trivial : 0.00 0 0 0 0 0 0 0 0 1789.46/1790.02 c dualfix : 0.00 0 0 0 0 0 0 0 0 1789.46/1790.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 1789.46/1790.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1789.46/1790.02 c implics : 0.00 0 0 0 0 0 0 0 0 1789.46/1790.02 c probing : 0.01 0 0 0 0 0 0 0 0 1789.46/1790.02 c knapsack : 0.02 0 0 0 0 0 21 308 651 1789.46/1790.02 c setppc : 0.00 0 0 0 0 0 45 0 0 1789.46/1790.02 c linear : 0.02 0 0 0 0 0 0 0 21 1789.46/1790.02 c logicor : 0.00 0 0 0 0 0 0 0 0 1789.46/1790.02 c root node : - 0 - - 0 - - - - 1789.46/1790.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1789.46/1790.02 c integral : 0 0 0 9710 0 0 32 0 0 19376 1789.46/1790.02 c knapsack : 453 9 112758 0 2 0 60140 765 0 0 1789.46/1790.02 c setppc : 114 9 112758 0 2 0 2934 0 0 0 1789.46/1790.02 c logicor : 0+ 0 15334 0 0 0 0 0 0 0 1789.46/1790.02 c countsols : 0 0 0 0 2 0 0 0 0 0 1789.46/1790.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1789.46/1790.02 c integral : 170.67 0.00 0.00 170.67 0.00 1789.46/1790.02 c knapsack : 7.47 0.07 7.40 0.00 0.00 1789.46/1790.02 c setppc : 0.61 0.00 0.61 0.00 0.00 1789.46/1790.02 c logicor : 0.08 0.00 0.08 0.00 0.00 1789.46/1790.02 c countsols : 0.00 0.00 0.00 0.00 0.00 1789.46/1790.02 c Propagators : Time Calls Cutoffs DomReds 1789.46/1790.02 c vbounds : 0.08 2 0 0 1789.46/1790.02 c rootredcost : 0.07 15 0 0 1789.46/1790.02 c pseudoobj : 2.65 112773 0 0 1789.46/1790.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1789.46/1790.02 c propagation : 0.00 0 0 0 0.0 0 0.0 - 1789.46/1790.02 c infeasible LP : 0.02 155 155 155 3.7 0 0.0 0 1789.46/1790.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1789.46/1790.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1789.46/1790.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1789.46/1790.02 c applied globally : - - - 155 3.7 - - - 1789.46/1790.02 c applied locally : - - - 0 0.0 - - - 1789.46/1790.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1789.46/1790.02 c cut pool : 0.00 8 - - 262 - (maximal pool size: 1398) 1789.46/1790.02 c redcost : 1.16 17607 0 171640 0 0 1789.46/1790.02 c impliedbounds : 0.00 9 0 0 76 0 1789.46/1790.02 c intobj : 0.00 0 0 0 0 0 1789.46/1790.02 c cgmip : 0.00 0 0 0 0 0 1789.46/1790.02 c gomory : 2.79 9 0 0 0 0 1789.46/1790.02 c strongcg : 2.53 9 0 0 0 0 1789.46/1790.02 c cmir : 0.53 9 0 0 808 0 1789.46/1790.02 c flowcover : 0.60 9 0 0 943 0 1789.46/1790.02 c clique : 0.00 1 0 0 0 0 1789.46/1790.02 c zerohalf : 0.00 0 0 0 0 0 1789.46/1790.02 c mcf : 0.00 1 0 0 0 0 1789.46/1790.02 c rapidlearning : 0.33 1 0 0 0 0 1789.46/1790.02 c Pricers : Time Calls Vars 1789.46/1790.02 c problem variables: 0.00 0 0 1789.46/1790.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1789.46/1790.02 c relpscost : 170.64 9710 0 32 0 0 19376 1789.46/1790.02 c pscost : 0.00 0 0 0 0 0 0 1789.46/1790.02 c inference : 0.00 2 0 0 0 0 4 1789.46/1790.02 c mostinf : 0.00 0 0 0 0 0 0 1789.46/1790.02 c leastinf : 0.00 0 0 0 0 0 0 1789.46/1790.02 c fullstrong : 0.00 0 0 0 0 0 0 1789.46/1790.02 c allfullstrong : 0.00 0 0 0 0 0 0 1789.46/1790.02 c random : 0.00 0 0 0 0 0 0 1789.46/1790.02 c Primal Heuristics : Time Calls Found 1789.46/1790.02 c LP solutions : 0.00 - 0 1789.46/1790.02 c pseudo solutions : 0.00 - 0 1789.46/1790.02 c intshifting : 0.00 0 0 1789.46/1790.02 c feaspump : 0.00 0 0 1789.46/1790.02 c oneopt : 0.02 11 2 1789.46/1790.02 c objpscostdiving : 51.70 8 52 1789.46/1790.02 c guideddiving : 55.29 19 0 1789.46/1790.02 c fracdiving : 67.38 22 7 1789.46/1790.02 c veclendiving : 86.75 37 92 1789.46/1790.02 c rootsoldiving : 11.96 25 0 1789.46/1790.02 c coefdiving : 163.72 52 163 1789.46/1790.02 c linesearchdiving : 167.02 85 69 1789.46/1790.02 c pscostdiving : 314.45 130 268 1789.46/1790.02 c trivial : 0.00 2 3 1789.46/1790.02 c simplerounding : 0.69 15855 23 1789.46/1790.02 c zirounding : 0.89 1151 23 1789.46/1790.02 c rounding : 14.64 5612 1 1789.46/1790.02 c shifting : 3.48 1590 1 1789.46/1790.02 c twoopt : 0.00 0 0 1789.46/1790.02 c fixandinfer : 0.00 0 0 1789.46/1790.02 c intdiving : 0.00 0 0 1789.46/1790.02 c actconsdiving : 0.00 0 0 1789.46/1790.02 c octane : 0.00 0 0 1789.46/1790.02 c rens : 0.01 0 0 1789.46/1790.02 c rins : 0.00 0 0 1789.46/1790.02 c localbranching : 0.00 0 0 1789.46/1790.02 c mutation : 0.00 0 0 1789.46/1790.02 c crossover : 2.33 5 5 1789.46/1790.02 c dins : 0.00 0 0 1789.46/1790.02 c undercover : 0.00 0 0 1789.46/1790.02 c nlp : 0.01 0 0 1789.46/1790.02 c trysol : 0.01 0 0 1789.46/1790.02 c LP : Time Calls Iterations Iter/call Iter/sec 1789.46/1790.02 c primal LP : 0.00 0 0 0.00 - 1789.46/1790.02 c dual LP : 653.48 20472 1556902 76.05 2382.49 1789.46/1790.02 c lex dual LP : 0.00 0 0 0.00 - 1789.46/1790.02 c barrier LP : 0.00 0 0 0.00 - 1789.46/1790.02 c diving/probing LP: 886.15 56005 2340127 41.78 2640.79 1789.46/1790.02 c strong branching : 169.43 1599 337495 211.07 1991.96 1789.46/1790.02 c (at root node) : - 16 12305 769.06 - 1789.46/1790.02 c conflict analysis: 0.00 0 0 0.00 - 1789.46/1790.02 c B&B Tree : 1789.46/1790.02 c number of runs : 1 1789.46/1790.02 c nodes : 14312 1789.46/1790.02 c nodes (total) : 14312 1789.46/1790.02 c nodes left : 4315 1789.46/1790.02 c max depth : 111 1789.46/1790.02 c max depth (total): 111 1789.46/1790.02 c backtracks : 2623 (18.3%) 1789.46/1790.02 c delayed cutoffs : 0 1789.46/1790.02 c repropagations : 0 (0 domain reductions, 0 cutoffs) 1789.46/1790.02 c avg switch length: 6.19 1789.46/1790.02 c switching time : 1.84 1789.46/1790.02 c Solution : 1789.46/1790.02 c Solutions found : 710 (24 improvements) 1789.46/1790.02 c First Solution : +4.75000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>) 1789.46/1790.02 c Primal Bound : +1.91000000000000e+02 (in run 1, after 13244 nodes, 1681.13 seconds, depth 104, found by <crossover>) 1789.46/1790.02 c Dual Bound : +1.68751491481875e+02 1789.46/1790.02 c Gap : 13.18 % 1789.46/1790.02 c Root Dual Bound : +1.67269660996718e+02 1789.46/1790.02 c Root Iterations : 6172 1789.46/1790.04 c Time complete: 1789.51.
OK 191
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703593-1278551877/watcher-2703593-1278551877 -o /tmp/evaluation-result-2703593-1278551877/solver-2703593-1278551877 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703593-1278551877.opb -t 1800 -m 1800 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 0.94 3/106 27706 /proc/meminfo: memFree=1941984/2059040 swapFree=4134048/4192956 [pid=27706] ppid=27704 vsize=7904 CPUtime=0 /proc/27706/stat : 27706 (pbscip.linux.x8) R 27704 27706 27168 0 -1 4202496 1065 0 0 0 0 0 0 0 20 0 1 0 23394529 8093696 978 1992294400 4194304 8395647 140733903051552 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27706/statm: 1976 986 365 1026 0 946 0 [startup+0.011714 s] /proc/loadavg: 1.05 1.01 0.94 3/106 27706 /proc/meminfo: memFree=1941984/2059040 swapFree=4134048/4192956 [pid=27706] ppid=27704 vsize=9964 CPUtime=0 /proc/27706/stat : 27706 (pbscip.linux.x8) R 27704 27706 27168 0 -1 4202496 1671 0 0 0 0 0 0 0 20 0 1 0 23394529 10203136 1584 1992294400 4194304 8395647 140733903051552 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27706/statm: 2491 1594 374 1026 0 1461 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9964 [startup+0.100695 s] /proc/loadavg: 1.05 1.01 0.94 3/106 27706 /proc/meminfo: memFree=1941984/2059040 swapFree=4134048/4192956 [pid=27706] ppid=27704 vsize=17772 CPUtime=0.09 /proc/27706/stat : 27706 (pbscip.linux.x8) R 27704 27706 27168 0 -1 4202496 3968 0 0 0 8 1 0 0 20 0 1 0 23394529 18198528 3526 1992294400 4194304 8395647 140733903051552 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27706/statm: 4443 3526 567 1026 0 3413 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17772 [startup+0.300712 s] /proc/loadavg: 1.05 1.01 0.94 3/106 27706 /proc/meminfo: memFree=1941984/2059040 swapFree=4134048/4192956 [pid=27706] ppid=27704 vsize=18448 CPUtime=0.29 /proc/27706/stat : 27706 (pbscip.linux.x8) R 27704 27706 27168 0 -1 4202496 4143 0 0 0 28 1 0 0 20 0 1 0 23394529 18890752 3701 1992294400 4194304 8395647 140733903051552 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27706/statm: 4612 3701 573 1026 0 3582 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18448 [startup+0.700747 s] /proc/loadavg: 1.05 1.01 0.94 3/106 27706 /proc/meminfo: memFree=1941984/2059040 swapFree=4134048/4192956 [pid=27706] ppid=27704 vsize=19708 CPUtime=0.69 /proc/27706/stat : 27706 (pbscip.linux.x8) R 27704 27706 27168 0 -1 4202496 4462 0 0 0 68 1 0 0 20 0 1 0 23394529 20180992 4020 1992294400 4194304 8395647 140733903051552 18446744073709551615 6742767 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27706/statm: 4927 4020 573 1026 0 3897 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19708 [startup+1.50082 s] /proc/loadavg: 1.05 1.01 0.94 2/107 27707 /proc/meminfo: memFree=1927716/2059040 swapFree=4134048/4192956 [pid=27706] ppid=27704 vsize=21056 CPUtime=1.49 /proc/27706/stat : 27706 (pbscip.linux.x8) R 27704 27706 27168 0 -1 4202496 7163 0 0 0 144 5 0 0 22 0 1 0 23394529 21561344 4480 1992294400 4194304 8395647 140733903051552 18446744073709551615 6741018 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27706/statm: 5264 4480 643 1026 0 4234 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21056 [startup+3.10096 s] /proc/loadavg: 1.05 1.01 0.94 2/107 27707 /proc/meminfo: memFree=1925856/2059040 swapFree=4134048/4192956 [pid=27706] ppid=27704 vsize=21244 CPUtime=3.09 /proc/27706/stat : 27706 (pbscip.linux.x8) R 27704 27706 27168 0 -1 4202496 7193 0 0 0 303 6 0 0 25 0 1 0 23394529 21753856 4494 1992294400 4194304 8395647 140733903051552 18446744073709551615 6695930 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27706/statm: 5311 4494 627 1026 0 4281 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21244 [startup+6.30124 s] /proc/loadavg: 1.04 1.01 0.94 2/107 27707 /proc/meminfo: memFree=1923748/2059040 swapFree=4134048/4192956 [pid=27706] ppid=27704 vsize=23584 CPUtime=6.29 /proc/27706/stat : 27706 (pbscip.linux.x8) R 27704 27706 27168 0 -1 4202496 7686 0 0 0 621 8 0 0 25 0 1 0 23394529 24150016 4987 1992294400 4194304 8395647 140733903051552 18446744073709551615 6125354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27706/statm: 5896 4987 627 1026 0 4866 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23584 [startup+12.7008 s] /proc/loadavg: 1.04 1.01 0.94 2/107 27709 /proc/meminfo: memFree=1923252/2059040 swapFree=4134048/4192956 [pid=27706] ppid=27704 vsize=23620 CPUtime=12.69 /proc/27706/stat : 27706 (pbscip.linux.x8) R 27704 27706 27168 0 -1 4202496 8509 0 0 0 1258 11 0 0 25 0 1 0 23394529 24186880 5073 1992294400 4194304 8395647 140733903051552 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27706/statm: 5905 5073 629 1026 0 4875 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 23620 [startup+25.5009 s] /proc/loadavg: 1.03 1.01 0.94 2/107 27709 /proc/meminfo: memFree=1923252/2059040 swapFree=4134048/4192956 [pid=27706] ppid=27704 vsize=23620 CPUtime=25.48 /proc/27706/stat : 27706 (pbscip.linux.x8) R 27704 27706 27168 0 -1 4202496 8510 0 0 0 2529 19 0 0 25 0 1 0 23394529 24186880 5074 1992294400 4194304 8395647 140733903051552 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27706/statm: 5905 5074 630 1026 0 4875 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 23620 [startup+51.1012 s] /proc/loadavg: 1.02 1.01 0.94 2/107 27709 /proc/meminfo: memFree=1923376/2059040 swapFree=4134048/4192956 [pid=27706] ppid=27704 vsize=23620 CPUtime=51.07 /proc/27706/stat : 27706 (pbscip.linux.x8) R 27704 27706 27168 0 -1 4202496 8510 0 0 0 5072 35 0 0 25 0 1 0 23394529 24186880 5074 1992294400 4194304 8395647 140733903051552 18446744073709551615 6697390 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27706/statm: 5905 5074 630 1026 0 4875 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 23620 [startup+102.308 s] /proc/loadavg: 1.01 1.00 0.94 2/107 27711 /proc/meminfo: memFree=1923376/2059040 swapFree=4134048/4192956 [pid=27706] ppid=27704 vsize=23620 CPUtime=102.26 /proc/27706/stat : 27706 (pbscip.linux.x8) R 27704 27706 27168 0 -1 4202496 8516 0 0 0 10158 68 0 0 25 0 1 0 23394529 24186880 5080 1992294400 4194304 8395647 140733903051552 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27706/statm: 5905 5080 632 1026 0 4875 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 23620 [startup+162.301 s] /proc/loadavg: 1.04 1.02 0.95 2/107 27716 /proc/meminfo: memFree=1867872/2059040 swapFree=4134228/4192956 [pid=27706] ppid=27704 vsize=23756 CPUtime=162.23 /proc/27706/stat : 27706 (pbscip.linux.x8) R 27704 27706 27168 0 -1 4202496 8543 0 0 0 16115 108 0 0 25 0 1 0 23394529 24326144 5107 1992294400 4194304 8395647 140733903051552 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27706/statm: 5939 5107 633 1026 0 4909 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 23756 [startup+222.301 s] /proc/loadavg: 1.01 1.01 0.95 2/107 27716 /proc/meminfo: memFree=1867872/2059040 swapFree=4134228/4192956 [pid=27706] ppid=27704 vsize=23756 CPUtime=222.22 /proc/27706/stat : 27706 (pbscip.linux.x8) R 27704 27706 27168 0 -1 4202496 8553 0 0 0 22067 155 0 0 25 0 1 0 23394529 24326144 5117 1992294400 4194304 8395647 140733903051552 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27706/statm: 5939 5117 633 1026 0 4909 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 23756 [startup+282.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27718 /proc/meminfo: memFree=1867500/2059040 swapFree=4134228/4192956 [pid=27706] ppid=27704 vsize=24304 CPUtime=282.19 /proc/27706/stat : 27706 (pbscip.linux.x8) R 27704 27706 27168 0 -1 4202496 8648 0 0 0 28015 204 0 0 25 0 1 0 23394529 24887296 5212 1992294400 4194304 8395647 140733903051552 18446744073709551615 6693401 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27706/statm: 6076 5212 633 1026 0 5046 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 24304 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27720 /proc/meminfo: memFree=1867500/2059040 swapFree=4134228/4192956 [pid=27706] ppid=27704 vsize=24304 CPUtime=342.18 /proc/27706/stat : 27706 (pbscip.linux.x8) R 27704 27706 27168 0 -1 4202496 8672 0 0 0 33963 255 0 0 25 0 1 0 23394529 24887296 5236 1992294400 4194304 8395647 140733903051552 18446744073709551615 6697351 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27706/statm: 6076 5236 633 1026 0 5046 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 24304 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27722 /proc/meminfo: memFree=1867128/2059040 swapFree=4134228/4192956 [pid=27706] ppid=27704 vsize=24436 CPUtime=402.16 /proc/27706/stat : 27706 (pbscip.linux.x8) R 27704 27706 27168 0 -1 4202496 10800 0 0 0 39914 302 0 0 25 0 1 0 23394529 25022464 5241 1992294400 4194304 8395647 140733903051552 18446744073709551615 6740363 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27706/statm: 6109 5241 640 1026 0 5079 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 24436 [startup+462.301 s] /proc/loadavg: 1.04 1.01 0.95 2/107 27724 /proc/meminfo: memFree=1867128/2059040 swapFree=4134228/4192956 [pid=27706] ppid=27704 vsize=24436 CPUtime=462.15 /proc/27706/stat : 27706 (pbscip.linux.x8) R 27704 27706 27168 0 -1 4202496 10800 0 0 0 45867 348 0 0 25 0 1 0 23394529 25022464 5241 1992294400 4194304 8395647 140733903051552 18446744073709551615 6719792 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27706/statm: 6109 5241 640 1026 0 5079 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 24436 [startup+522.3 s] /proc/loadavg: 1.01 1.01 0.95 2/107 27724 /proc/meminfo: memFree=1867376/2059040 swapFree=4134228/4192956 [pid=27706] ppid=27704 vsize=24392 CPUtime=522.12 /proc/27706/stat : 27706 (pbscip.linux.x8) R 27704 27706 27168 0 -1 4202496 13358 0 0 0 51814 398 0 0 25 0 1 0 23394529 24977408 5238 1992294400 4194304 8395647 140733903051552 18446744073709551615 6697379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27706/statm: 6098 5238 640 1026 0 5068 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 24392 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27726 /proc/meminfo: memFree=1867252/2059040 swapFree=4134228/4192956 [pid=27706] ppid=27704 vsize=24744 CPUtime=582.11 /proc/27706/stat : 27706 (pbscip.linux.x8) R 27704 27706 27168 0 -1 4202496 13434 0 0 0 57770 441 0 0 25 0 1 0 23394529 25337856 5314 1992294400 4194304 8395647 140733903051552 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27706/statm: 6186 5314 640 1026 0 5156 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 24744 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27728 /proc/meminfo: memFree=1867252/2059040 swapFree=4134228/4192956 [pid=27706] ppid=27704 vsize=24744 CPUtime=642.1 /proc/27706/stat : 27706 (pbscip.linux.x8) R 27704 27706 27168 0 -1 4202496 13446 0 0 0 63721 489 0 0 25 0 1 0 23394529 25337856 5326 1992294400 4194304 8395647 140733903051552 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27706/statm: 6186 5326 640 1026 0 5156 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 24744 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1865020/2059040 swapFree=4134228/4192956 [pid=27706] ppid=27704 vsize=26872 CPUtime=1061.97 /proc/27706/stat : 27706 (pbscip.linux.x8) R 27704 27706 27168 0 -1 4202496 16214 0 0 0 105364 833 0 0 25 0 1 0 23394529 27516928 5886 1992294400 4194304 8395647 140733903051552 18446744073709551615 6697155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27706/statm: 6718 5886 640 1026 0 5688 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 26872 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27740 /proc/meminfo: memFree=1864896/2059040 swapFree=4134228/4192956 [pid=27706] ppid=27704 vsize=26872 CPUtime=1121.96 /proc/27706/stat : 27706 (pbscip.linux.x8) R 27704 27706 27168 0 -1 4202496 16214 0 0 0 111319 877 0 0 25 0 1 0 23394529 27516928 5886 1992294400 4194304 8395647 140733903051552 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27706/statm: 6718 5886 640 1026 0 5688 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 26872 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27742 /proc/meminfo: memFree=1865020/2059040 swapFree=4134228/4192956 [pid=27706] ppid=27704 vsize=26664 CPUtime=1181.95 /proc/27706/stat : 27706 (pbscip.linux.x8) R 27704 27706 27168 0 -1 4202496 18515 0 0 0 117268 927 0 0 25 0 1 0 23394529 27303936 5848 1992294400 4194304 8395647 140733903051552 18446744073709551615 6696074 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27706/statm: 6666 5848 640 1026 0 5636 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 26664 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27744 /proc/meminfo: memFree=1864648/2059040 swapFree=4134228/4192956 [pid=27706] ppid=27704 vsize=26728 CPUtime=1241.92 /proc/27706/stat : 27706 (pbscip.linux.x8) R 27704 27706 27168 0 -1 4202496 19302 0 0 0 123214 978 0 0 25 0 1 0 23394529 27369472 5868 1992294400 4194304 8395647 140733903051552 18446744073709551615 6731265 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27706/statm: 6682 5868 640 1026 0 5652 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 26728 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27746 /proc/meminfo: memFree=1864524/2059040 swapFree=4134228/4192956 [pid=27706] ppid=27704 vsize=26860 CPUtime=1301.92 /proc/27706/stat : 27706 (pbscip.linux.x8) R 27704 27706 27168 0 -1 4202496 19328 0 0 0 129164 1028 0 0 25 0 1 0 23394529 27504640 5894 1992294400 4194304 8395647 140733903051552 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27706/statm: 6715 5894 640 1026 0 5685 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 26860 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27748 /proc/meminfo: memFree=1864400/2059040 swapFree=4134228/4192956 [pid=27706] ppid=27704 vsize=26860 CPUtime=1361.89 /proc/27706/stat : 27706 (pbscip.linux.x8) R 27704 27706 27168 0 -1 4202496 19339 0 0 0 135115 1074 0 0 25 0 1 0 23394529 27504640 5905 1992294400 4194304 8395647 140733903051552 18446744073709551615 6391408 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27706/statm: 6715 5905 640 1026 0 5685 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 26860 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27748 /proc/meminfo: memFree=1863780/2059040 swapFree=4134228/4192956 [pid=27706] ppid=27704 vsize=27536 CPUtime=1421.88 /proc/27706/stat : 27706 (pbscip.linux.x8) R 27704 27706 27168 0 -1 4202496 19505 0 0 0 141065 1123 0 0 25 0 1 0 23394529 28196864 6071 1992294400 4194304 8395647 140733903051552 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27706/statm: 6884 6071 640 1026 0 5854 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 27536 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27750 /proc/meminfo: memFree=1863408/2059040 swapFree=4134228/4192956 [pid=27706] ppid=27704 vsize=27908 CPUtime=1481.85 /proc/27706/stat : 27706 (pbscip.linux.x8) R 27704 27706 27168 0 -1 4202496 19607 0 0 0 147013 1172 0 0 25 0 1 0 23394529 28577792 6173 1992294400 4194304 8395647 140733903051552 18446744073709551615 6721228 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27706/statm: 6977 6173 640 1026 0 5947 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 27908 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27752 /proc/meminfo: memFree=1863408/2059040 swapFree=4134228/4192956 [pid=27706] ppid=27704 vsize=27908 CPUtime=1541.83 /proc/27706/stat : 27706 (pbscip.linux.x8) R 27704 27706 27168 0 -1 4202496 19622 0 0 0 152961 1222 0 0 25 0 1 0 23394529 28577792 6188 1992294400 4194304 8395647 140733903051552 18446744073709551615 5536853 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27706/statm: 6977 6188 640 1026 0 5947 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 27908 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27754 /proc/meminfo: memFree=1863036/2059040 swapFree=4134228/4192956 [pid=27706] ppid=27704 vsize=28204 CPUtime=1601.81 /proc/27706/stat : 27706 (pbscip.linux.x8) R 27704 27706 27168 0 -1 4202496 19684 0 0 0 158912 1269 0 0 25 0 1 0 23394529 28880896 6250 1992294400 4194304 8395647 140733903051552 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27706/statm: 7051 6250 640 1026 0 6021 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 28204 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27756 /proc/meminfo: memFree=1861920/2059040 swapFree=4134228/4192956 [pid=27706] ppid=27704 vsize=29364 CPUtime=1661.79 /proc/27706/stat : 27706 (pbscip.linux.x8) R 27704 27706 27168 0 -1 4202496 19964 0 0 0 164855 1324 0 0 25 0 1 0 23394529 30068736 6530 1992294400 4194304 8395647 140733903051552 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27706/statm: 7341 6530 640 1026 0 6311 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 29364 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27756 /proc/meminfo: memFree=1862292/2059040 swapFree=4134228/4192956 [pid=27706] ppid=27704 vsize=28648 CPUtime=1721.78 /proc/27706/stat : 27706 (pbscip.linux.x8) R 27704 27706 27168 0 -1 4202496 24569 0 0 0 170795 1383 0 0 25 0 1 0 23394529 29335552 6335 1992294400 4194304 8395647 140733903051552 18446744073709551615 6752903 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27706/statm: 7162 6335 640 1026 0 6132 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 28648 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27758 /proc/meminfo: memFree=1861920/2059040 swapFree=4134228/4192956 [pid=27706] ppid=27704 vsize=28648 CPUtime=1781.76 /proc/27706/stat : 27706 (pbscip.linux.x8) R 27704 27706 27168 0 -1 4202496 24569 0 0 0 176745 1431 0 0 25 0 1 0 23394529 29335552 6335 1992294400 4194304 8395647 140733903051552 18446744073709551615 6697262 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27706/statm: 7162 6335 640 1026 0 6132 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 28648 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27758 /proc/meminfo: memFree=1861920/2059040 swapFree=4134228/4192956 [pid=27706] ppid=27704 vsize=28648 CPUtime=1784.96 /proc/27706/stat : 27706 (pbscip.linux.x8) R 27704 27706 27168 0 -1 4202496 24569 0 0 0 177063 1433 0 0 25 0 1 0 23394529 29335552 6335 1992294400 4194304 8395647 140733903051552 18446744073709551615 6696283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27706/statm: 7162 6335 640 1026 0 6132 0 Current children cumulated CPU time (s) 1784.96 Current children cumulated vsize (KiB) 28648 [startup+1787.1 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27758 /proc/meminfo: memFree=1861920/2059040 swapFree=4134228/4192956 [pid=27706] ppid=27704 vsize=28648 CPUtime=1786.56 /proc/27706/stat : 27706 (pbscip.linux.x8) R 27704 27706 27168 0 -1 4202496 24569 0 0 0 177221 1435 0 0 25 0 1 0 23394529 29335552 6335 1992294400 4194304 8395647 140733903051552 18446744073709551615 6585987 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27706/statm: 7162 6335 640 1026 0 6132 0 Current children cumulated CPU time (s) 1786.56 Current children cumulated vsize (KiB) 28648 [startup+1788.7 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27758 /proc/meminfo: memFree=1861920/2059040 swapFree=4134228/4192956 [pid=27706] ppid=27704 vsize=28648 CPUtime=1788.16 /proc/27706/stat : 27706 (pbscip.linux.x8) R 27704 27706 27168 0 -1 4202496 24569 0 0 0 177379 1437 0 0 25 0 1 0 23394529 29335552 6335 1992294400 4194304 8395647 140733903051552 18446744073709551615 6697338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27706/statm: 7162 6335 640 1026 0 6132 0 Current children cumulated CPU time (s) 1788.16 Current children cumulated vsize (KiB) 28648 [startup+1789.5 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27758 /proc/meminfo: memFree=1861920/2059040 swapFree=4134228/4192956 [pid=27706] ppid=27704 vsize=28648 CPUtime=1788.96 /proc/27706/stat : 27706 (pbscip.linux.x8) R 27704 27706 27168 0 -1 4202496 24569 0 0 0 177458 1438 0 0 25 0 1 0 23394529 29335552 6335 1992294400 4194304 8395647 140733903051552 18446744073709551615 6701816 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27706/statm: 7162 6335 640 1026 0 6132 0 Current children cumulated CPU time (s) 1788.96 Current children cumulated vsize (KiB) 28648 [startup+1789.9 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27758 /proc/meminfo: memFree=1861920/2059040 swapFree=4134228/4192956 [pid=27706] ppid=27704 vsize=28648 CPUtime=1789.36 /proc/27706/stat : 27706 (pbscip.linux.x8) R 27704 27706 27168 0 -1 4202496 24569 0 0 0 177498 1438 0 0 25 0 1 0 23394529 29335552 6335 1992294400 4194304 8395647 140733903051552 18446744073709551615 6696085 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27706/statm: 7162 6335 640 1026 0 6132 0 Current children cumulated CPU time (s) 1789.36 Current children cumulated vsize (KiB) 28648 [startup+1790 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27758 /proc/meminfo: memFree=1861920/2059040 swapFree=4134228/4192956 [pid=27706] ppid=27704 vsize=28648 CPUtime=1789.46 /proc/27706/stat : 27706 (pbscip.linux.x8) R 27704 27706 27168 0 -1 4202496 24569 0 0 0 177508 1438 0 0 25 0 1 0 23394529 29335552 6335 1992294400 4194304 8395647 140733903051552 18446744073709551615 6652672 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27706/statm: 7162 6335 640 1026 0 6132 0 Current children cumulated CPU time (s) 1789.46 Current children cumulated vsize (KiB) 28648 Child status: 0 Real time (s): 1790.05 CPU time (s): 1789.52 CPU user time (s): 1775.13 CPU system time (s): 14.3888 CPU usage (%): 99.9704 Max. virtual memory (cumulated for all children) (KiB): 39036 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1775.13 system time used= 14.3888 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24573 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= 4 involuntary context switches= 6762 runsolver used 3.01354 second user time and 8.39172 second system time The end
Begin job on node050 at 2010-07-08 03:17:57 IDJOB=2703593 IDBENCH=1952 IDSOLVER=1213 FILE ID=node050/2703593-1278551877 PBS_JOBID= 11239491 Free space on /tmp= 62448 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver 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.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703593-1278551877/watcher-2703593-1278551877 -o /tmp/evaluation-result-2703593-1278551877/solver-2703593-1278551877 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703593-1278551877.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7903a80129c7e51df900bcb9ac0a6f39 RANDOM SEED=1395700044 node050.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.248 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 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.248 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1942512 kB Buffers: 2224 kB Cached: 33148 kB SwapCached: 7852 kB Active: 38624 kB Inactive: 6464 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1942512 kB SwapTotal: 4192956 kB SwapFree: 4134048 kB Dirty: 10460 kB Writeback: 0 kB AnonPages: 9244 kB Mapped: 6896 kB Slab: 49548 kB PageTables: 4200 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183308 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62436 MiB End job on node050 at 2010-07-08 03:47:47