Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT (TO) | 190 | 1800.08 | 1800.76 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb |
MD5SUM | 80b0f13939656efa52b7dd958ee28431 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 186 |
Best CPU time to get the best result obtained on this benchmark | 1800.2 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 180 |
Optimality of the best value was proved | NO |
Number of variables | 467 |
Total number of constraints | 466 |
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 | 466 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 15 |
Number of terms in the objective function | 467 |
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 | 467 |
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 | 467 |
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.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE] 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-2667002-1276370688.opb> 0.00/0.02 c original problem has 467 variables (467 bin, 0 int, 0 impl, 0 cont) and 466 constraints 0.00/0.02 c problem read 0.00/0.02 c presolving settings loaded 0.00/0.03 o 467 0.00/0.03 c feasible solution found by trivial heuristic, objective value 4.670000e+02 0.00/0.03 c presolving: 0.00/0.03 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 1 chg sides, 42 chg coeffs, 0 upgd conss, 0 impls, 0 clqs 0.04/0.05 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 1 chg sides, 42 chg coeffs, 466 upgd conss, 0 impls, 0 clqs 0.04/0.06 c (round 3) 0 del vars, 0 del conss, 0 chg bounds, 92 chg sides, 289 chg coeffs, 466 upgd conss, 156 impls, 0 clqs 0.04/0.07 c (round 4) 0 del vars, 34 del conss, 0 chg bounds, 204 chg sides, 453 chg coeffs, 466 upgd conss, 156 impls, 0 clqs 0.04/0.08 c (round 5) 0 del vars, 46 del conss, 0 chg bounds, 222 chg sides, 484 chg coeffs, 466 upgd conss, 156 impls, 0 clqs 0.04/0.08 c (round 6) 0 del vars, 47 del conss, 0 chg bounds, 226 chg sides, 489 chg coeffs, 466 upgd conss, 156 impls, 0 clqs 0.04/0.08 c (round 7) 0 del vars, 47 del conss, 0 chg bounds, 235 chg sides, 511 chg coeffs, 466 upgd conss, 156 impls, 0 clqs 0.04/0.10 c (0.1s) probing: 101/467 (21.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.04/0.10 c (0.1s) probing aborted: 100/100 successive totally useless probings 0.04/0.10 c presolving (8 rounds): 0.04/0.10 c 0 deleted vars, 47 deleted constraints, 0 tightened bounds, 0 added holes, 235 changed sides, 511 changed coefficients 0.04/0.10 c 156 implications, 0 cliques 0.04/0.10 c presolved problem has 467 variables (467 bin, 0 int, 0 impl, 0 cont) and 510 constraints 0.04/0.10 c 444 constraints of type <knapsack> 0.04/0.10 c 62 constraints of type <setppc> 0.04/0.10 c 4 constraints of type <logicor> 0.04/0.10 c transformed objective value is always integral (scale: 1) 0.04/0.10 c Presolving Time: 0.05 0.04/0.10 c - non default parameters ---------------------------------------------------------------------- 0.04/0.10 c # SCIP version 1.2.1.2 0.04/0.10 c 0.04/0.10 c # frequency for displaying node information lines 0.04/0.10 c # [type: int, range: [-1,2147483647], default: 100] 0.04/0.10 c display/freq = 10000 0.04/0.10 c 0.04/0.10 c # maximal time in seconds to run 0.04/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.04/0.10 c limits/time = 1799.98 0.04/0.10 c 0.04/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.04/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.04/0.10 c limits/memory = 1620 0.04/0.10 c 0.04/0.10 c # should presolving try to simplify inequalities 0.04/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.04/0.10 c constraints/linear/simplifyinequalities = TRUE 0.04/0.10 c 0.04/0.10 c # should presolving try to simplify knapsacks 0.04/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.04/0.10 c constraints/knapsack/simplifyinequalities = TRUE 0.04/0.10 c 0.04/0.10 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.04/0.10 c # [type: int, range: [-1,2147483647], default: -1] 0.04/0.10 c separating/rapidlearning/freq = 0 0.04/0.10 c 0.04/0.10 c ----------------------------------------------------------------------------------------------- 0.04/0.10 c start solving 0.09/0.10 c 0.79/0.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.79/0.87 c t 0.8s| 1 | 0 | 2008 | - |2514k| 0 | 307 | 467 | 510 | 467 | 510 | 0 | 0 | 0 | 1.424321e+02 | 4.670000e+02 | 227.88% 0.79/0.87 o 321 0.79/0.87 c r 0.8s| 1 | 0 | 2008 | - |2528k| 0 | 307 | 467 | 510 | 467 | 510 | 0 | 0 | 0 | 1.424321e+02 | 3.210000e+02 | 125.37% 0.79/0.88 o 320 0.79/0.88 c R 0.8s| 1 | 0 | 2008 | - |2541k| 0 | 307 | 467 | 510 | 467 | 510 | 0 | 0 | 0 | 1.424321e+02 | 3.200000e+02 | 124.67% 0.79/0.89 o 319 0.79/0.89 c s 0.8s| 1 | 0 | 2008 | - |2555k| 0 | 307 | 467 | 510 | 467 | 510 | 0 | 0 | 0 | 1.424321e+02 | 3.190000e+02 | 123.97% 1.49/1.54 o 215 1.49/1.54 c y 1.4s| 1 | 0 | 2008 | - |2903k| 0 | 307 | 467 | 510 | 467 | 510 | 0 | 0 | 0 | 1.424321e+02 | 2.150000e+02 | 50.95% 2.29/2.39 c 2.3s| 1 | 0 | 2993 | - |2847k| 0 | 365 | 467 | 510 | 467 | 738 | 228 | 0 | 0 | 1.480230e+02 | 2.150000e+02 | 45.25% 3.79/3.85 c 3.7s| 1 | 0 | 3904 | - |3093k| 0 | 406 | 467 | 510 | 467 | 932 | 422 | 0 | 0 | 1.518248e+02 | 2.150000e+02 | 41.61% 5.29/5.39 c 5.2s| 1 | 0 | 4864 | - |3281k| 0 | 414 | 467 | 510 | 467 |1084 | 574 | 0 | 0 | 1.542550e+02 | 2.150000e+02 | 39.38% 6.89/6.91 c 6.8s| 1 | 0 | 5649 | - |3410k| 0 | 427 | 467 | 510 | 467 |1185 | 675 | 0 | 0 | 1.551768e+02 | 2.150000e+02 | 38.55% 8.28/8.38 c 8.2s| 1 | 0 | 6239 | - |3473k| 0 | 425 | 467 | 510 | 467 |1257 | 747 | 0 | 0 | 1.555985e+02 | 2.150000e+02 | 38.18% 9.69/9.75 c 9.6s| 1 | 0 | 6667 | - |3538k| 0 | 428 | 467 | 510 | 467 |1316 | 806 | 0 | 0 | 1.558178e+02 | 2.150000e+02 | 37.98% 11.00/11.01 c 10.8s| 1 | 0 | 6973 | - |3561k| 0 | 430 | 467 | 510 | 467 |1338 | 828 | 0 | 0 | 1.559706e+02 | 2.150000e+02 | 37.85% 12.09/12.17 c 12.0s| 1 | 0 | 7110 | - |3577k| 0 | 427 | 467 | 510 | 467 |1352 | 842 | 0 | 0 | 1.559968e+02 | 2.150000e+02 | 37.82% 12.99/13.08 c 12.9s| 1 | 0 | 7145 | - |3584k| 0 | 428 | 467 | 510 | 467 |1354 | 844 | 0 | 0 | 1.559988e+02 | 2.150000e+02 | 37.82% 13.89/13.98 c 13.8s| 1 | 0 | 7190 | - |3592k| 0 | 428 | 467 | 510 | 467 |1357 | 847 | 0 | 0 | 1.559996e+02 | 2.150000e+02 | 37.82% 31.08/31.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 31.08/31.18 c 30.8s| 1 | 2 | 7190 | - |3613k| 0 | 428 | 467 | 510 | 467 |1357 | 847 | 0 | 26 | 1.559996e+02 | 2.150000e+02 | 37.82% 113.94/114.07 o 213 113.94/114.07 c c 113s| 15 | 16 | 21794 |1043.1 |4386k| 14 | - | 467 | 510 | 467 | 956 | 847 | 0 | 265 | 1.563135e+02 | 2.130000e+02 | 36.26% 113.94/114.09 o 213 113.94/114.09 c c 113s| 15 | 16 | 21877 |1049.1 |4396k| 14 | - | 467 | 510 | 467 | 956 | 847 | 0 | 265 | 1.563135e+02 | 2.130000e+02 | 36.26% 114.04/114.11 o 212 114.04/114.11 c c 113s| 15 | 16 | 21989 |1057.1 |4408k| 14 | - | 467 | 510 | 467 | 956 | 847 | 0 | 265 | 1.563135e+02 | 2.120000e+02 | 35.62% 114.04/114.15 o 210 114.04/114.15 c b 113s| 16 | 15 | 22039 | 989.9 |4285k| 14 | - | 467 | 510 | 467 | 956 | 847 | 0 | 265 | 1.563135e+02 | 2.100000e+02 | 34.35% 123.94/124.09 o 208 123.94/124.09 c p 122s| 27 | 28 | 32259 | 964.2 |4457k| 14 | - | 467 | 510 | 467 | 956 | 847 | 0 | 279 | 1.563135e+02 | 2.080000e+02 | 33.07% 124.04/124.11 o 207 124.04/124.11 c p 122s| 27 | 28 | 32321 | 966.6 |4463k| 14 | - | 467 | 510 | 467 | 956 | 847 | 0 | 279 | 1.563135e+02 | 2.070000e+02 | 32.43% 124.04/124.11 o 205 124.04/124.11 c p 122s| 27 | 28 | 32329 | 966.9 |4464k| 14 | - | 467 | 510 | 467 | 956 | 847 | 0 | 279 | 1.563135e+02 | 2.050000e+02 | 31.15% 124.04/124.12 o 205 124.04/124.12 c p 122s| 27 | 28 | 32369 | 968.4 |4466k| 14 | - | 467 | 510 | 467 | 956 | 847 | 0 | 279 | 1.563135e+02 | 2.050000e+02 | 31.15% 124.04/124.12 o 203 124.04/124.12 c p 122s| 27 | 28 | 32384 | 969.0 |4467k| 14 | - | 467 | 510 | 467 | 956 | 847 | 0 | 279 | 1.563135e+02 | 2.030000e+02 | 29.87% 124.04/124.12 o 202 124.04/124.12 c p 122s| 27 | 28 | 32385 | 969.0 |4467k| 14 | - | 467 | 510 | 467 | 956 | 847 | 0 | 279 | 1.563135e+02 | 2.020000e+02 | 29.23% 124.04/124.13 o 201 124.04/124.13 c p 122s| 27 | 28 | 32403 | 969.7 |4469k| 14 | - | 467 | 510 | 467 | 956 | 847 | 0 | 279 | 1.563135e+02 | 2.010000e+02 | 28.59% 124.04/124.13 o 200 124.04/124.13 c p 122s| 27 | 28 | 32425 | 970.6 |4471k| 14 | - | 467 | 510 | 467 | 956 | 847 | 0 | 279 | 1.563135e+02 | 2.000000e+02 | 27.95% 124.04/124.15 o 199 124.04/124.15 c p 123s| 27 | 28 | 32485 | 972.9 |4476k| 14 | - | 467 | 510 | 467 | 956 | 847 | 0 | 279 | 1.563135e+02 | 1.990000e+02 | 27.31% 124.04/124.16 o 198 124.04/124.16 c p 123s| 27 | 28 | 32519 | 974.2 |4479k| 14 | - | 467 | 510 | 467 | 956 | 847 | 0 | 279 | 1.563135e+02 | 1.980000e+02 | 26.67% 124.04/124.16 o 197 124.04/124.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 124.04/124.16 c p 123s| 27 | 28 | 32539 | 975.0 |4483k| 14 | - | 467 | 510 | 467 | 956 | 847 | 0 | 279 | 1.563135e+02 | 1.970000e+02 | 26.03% 124.04/124.19 o 195 124.04/124.19 c b 123s| 27 | 28 | 32594 | 977.1 |4337k| 14 | 403 | 467 | 510 | 467 | 956 | 847 | 0 | 279 | 1.563135e+02 | 1.950000e+02 | 24.75% 214.31/214.43 o 194 214.31/214.43 c p 212s| 202 | 203 |191282 | 915.9 |4684k| 27 | - | 467 | 514 | 467 | 956 | 847 | 4 | 323 | 1.563135e+02 | 1.940000e+02 | 24.11% 214.31/214.44 o 192 214.31/214.44 c p 212s| 202 | 203 |191286 | 915.9 |4686k| 27 | - | 467 | 514 | 467 | 956 | 847 | 4 | 323 | 1.563135e+02 | 1.920000e+02 | 22.83% 214.50/214.63 o 191 214.50/214.63 c b 212s| 203 | 204 |191588 | 912.9 |4551k| 27 | 372 | 467 | 514 | 467 | 956 | 847 | 4 | 323 | 1.563135e+02 | 1.910000e+02 | 22.19% 272.59/272.79 o 191 272.59/272.79 c p 269s| 332 | 333 |285426 | 840.6 |4788k| 27 | - | 467 | 530 | 467 | 956 | 847 | 20 | 382 | 1.563392e+02 | 1.910000e+02 | 22.17% 555.98/556.24 o 190 555.98/556.24 c p 549s| 688 | 689 |804488 |1160.6 |5017k| 27 | - | 467 | 550 | 467 | 956 | 847 | 40 | 555 | 1.566767e+02 | 1.900000e+02 | 21.27% 1545.81/1546.46 c 1527s| 10000 | 8485 | 2713k| 270.7 | 10M| 145 | 356 | 467 | 625 | 467 | 956 | 847 | 115 |1425 | 1.571193e+02 | 1.900000e+02 | 20.93% 1800.03/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.03/1800.71 c 1800.03/1800.71 c SCIP Status : solving was interrupted [user interrupt] 1800.03/1800.71 c Solving Time (sec) : 1778.05 1800.03/1800.71 c Solving Nodes : 14992 1800.03/1800.71 c Primal Bound : +1.90000000000000e+02 (665 solutions) 1800.03/1800.71 c Dual Bound : +1.57173573494357e+02 1800.03/1800.71 c Gap : 20.89 % 1800.03/1800.71 s SATISFIABLE 1800.03/1800.71 v -x467 -x466 x465 x464 x463 -x462 x461 x460 x459 -x458 x457 -x456 x455 x454 -x453 x452 -x451 -x450 x449 -x448 x447 x446 -x445 -x444 1800.03/1800.71 v x443 -x442 x441 -x440 x439 -x438 -x437 -x436 -x435 x434 -x433 -x432 -x431 x430 -x429 -x428 x427 x426 -x425 -x424 -x423 x422 1800.03/1800.71 v -x421 x420 -x419 -x418 -x417 x416 x415 x414 -x413 x412 -x411 x410 -x409 -x408 -x407 -x406 -x405 x404 -x403 -x402 -x401 -x400 1800.03/1800.71 v x399 x398 x397 x396 -x395 -x394 x393 x392 x391 -x390 x389 -x388 -x387 -x386 -x385 -x384 x383 -x382 -x381 -x380 x379 x378 x377 1800.03/1800.71 v -x376 -x375 -x374 -x373 -x372 x371 -x370 -x369 -x368 -x367 x366 x365 -x364 -x363 x362 -x361 -x360 -x359 x358 -x357 -x356 1800.03/1800.71 v -x355 x354 x353 -x352 -x351 -x350 x349 -x348 x347 x346 -x345 x344 -x343 -x342 x341 -x340 -x339 x338 -x337 -x336 x335 x334 -x333 1800.03/1800.71 v x332 -x331 -x330 x329 x328 x327 -x326 x325 x324 -x323 -x322 -x321 x320 -x319 -x318 -x317 x316 x315 -x314 -x313 -x312 x311 1800.03/1800.71 v x310 -x309 -x308 x307 -x306 -x305 -x304 x303 -x302 -x301 -x300 -x299 -x298 -x297 x296 x295 -x294 -x293 -x292 -x291 x290 -x289 1800.03/1800.71 v x288 x287 -x286 -x285 x284 x283 -x282 x281 -x280 x279 x278 -x277 x276 x275 -x274 -x273 x272 x271 -x270 -x269 -x268 x267 x266 1800.03/1800.71 v x265 x264 -x263 x262 -x261 -x260 -x259 -x258 -x257 -x256 x255 -x254 -x253 -x252 x251 -x250 -x249 -x248 x247 x246 x245 -x244 1800.03/1800.71 v -x243 x242 -x241 x240 -x239 x238 x237 -x236 -x235 -x234 x233 -x232 x231 -x230 x229 -x228 x227 -x226 x225 x224 x223 -x222 -x221 1800.03/1800.71 v -x220 x219 -x218 -x217 -x216 x215 -x214 x213 -x212 -x211 -x210 -x209 -x208 x207 x206 x205 -x204 -x203 x202 x201 x200 x199 x198 1800.03/1800.71 v x197 x196 x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 x187 x186 x185 x184 -x183 -x182 -x181 x180 x179 -x178 x177 -x176 1800.03/1800.71 v -x175 -x174 -x173 x172 -x171 x170 x169 -x168 x167 x166 x165 x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 x156 x155 x154 -x153 1800.03/1800.71 v -x152 -x151 -x150 x149 -x148 -x147 x146 -x145 x144 -x143 x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 1800.03/1800.71 v x130 -x129 -x128 -x127 -x126 x125 x124 -x123 x122 -x121 -x120 x119 x118 -x117 x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 1800.03/1800.71 v x108 x107 -x106 x105 x104 x103 x102 x101 -x100 -x99 -x98 x97 x96 -x95 x94 -x93 x92 x91 x90 -x89 -x88 x87 x86 -x85 -x84 -x83 1800.03/1800.71 v -x82 -x81 -x80 -x79 x78 -x77 -x76 x75 -x74 x73 -x72 x71 -x70 -x69 -x68 -x67 -x66 x65 -x64 -x63 x62 x61 x60 -x59 -x58 -x57 1800.03/1800.71 v -x56 x55 x54 -x53 x52 x51 x50 -x49 -x48 x47 x46 -x45 -x44 x43 -x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 x33 -x32 x31 -x30 -x29 1800.03/1800.71 v -x28 -x27 -x26 x25 -x24 -x23 x22 x21 -x20 x19 -x18 -x17 -x16 -x15 -x14 -x13 x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 x1 1800.03/1800.71 c SCIP Status : solving was interrupted [user interrupt] 1800.03/1800.71 c Solving Time : 1778.05 1800.03/1800.71 c Original Problem : 1800.03/1800.71 c Problem name : HOME/instance-2667002-1276370688.opb 1800.03/1800.71 c Variables : 467 (467 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.03/1800.71 c Constraints : 466 initial, 466 maximal 1800.03/1800.71 c Presolved Problem : 1800.03/1800.71 c Problem name : t_HOME/instance-2667002-1276370688.opb 1800.03/1800.71 c Variables : 467 (467 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.03/1800.71 c Constraints : 510 initial, 645 maximal 1800.03/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.03/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.71 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.71 c probing : 0.01 0 0 0 0 0 0 0 0 1800.03/1800.71 c knapsack : 0.02 0 0 0 0 0 18 234 469 1800.03/1800.71 c setppc : 0.00 0 0 0 0 0 29 0 0 1800.03/1800.71 c linear : 0.02 0 0 0 0 0 0 1 42 1800.03/1800.71 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.71 c root node : - 0 - - 0 - - - - 1800.03/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.03/1800.71 c integral : 0 0 0 13295 0 0 4 0 0 26586 1800.03/1800.71 c knapsack : 444 11 85541 0 0 0 28586 824 0 0 1800.03/1800.71 c setppc : 62 11 85448 0 0 0 1811 0 0 0 1800.03/1800.71 c logicor : 4+ 11 11830 0 0 0 0 0 0 0 1800.03/1800.71 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.03/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.03/1800.71 c integral : 216.66 0.00 0.00 216.66 0.00 1800.03/1800.71 c knapsack : 5.32 0.07 5.25 0.00 0.00 1800.03/1800.71 c setppc : 0.38 0.00 0.38 0.00 0.00 1800.03/1800.71 c logicor : 0.10 0.00 0.10 0.00 0.00 1800.03/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.03/1800.71 c Propagators : Time Calls Cutoffs DomReds 1800.03/1800.71 c vbounds : 0.06 2 0 0 1800.03/1800.71 c rootredcost : 0.07 18 0 0 1800.03/1800.71 c pseudoobj : 2.02 85533 0 0 1800.03/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.03/1800.71 c propagation : 0.00 0 0 0 0.0 0 0.0 - 1800.03/1800.71 c infeasible LP : 0.02 135 135 135 4.2 0 0.0 0 1800.03/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.03/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.03/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.03/1800.71 c applied globally : - - - 135 4.2 - - - 1800.03/1800.71 c applied locally : - - - 0 0.0 - - - 1800.03/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.03/1800.71 c cut pool : 0.01 10 - - 396 - (maximal pool size: 1582) 1800.03/1800.71 c redcost : 0.78 16363 0 72157 0 0 1800.03/1800.71 c impliedbounds : 0.02 11 0 0 29 0 1800.03/1800.71 c intobj : 0.00 0 0 0 0 0 1800.03/1800.71 c cgmip : 0.00 0 0 0 0 0 1800.03/1800.71 c gomory : 3.81 11 0 0 2 0 1800.03/1800.71 c strongcg : 3.62 11 0 0 2 0 1800.03/1800.71 c cmir : 0.59 10 0 0 966 0 1800.03/1800.71 c flowcover : 0.64 10 0 0 1076 0 1800.03/1800.71 c clique : 0.00 1 0 0 0 0 1800.03/1800.71 c zerohalf : 0.00 0 0 0 0 0 1800.03/1800.71 c mcf : 0.00 1 0 0 0 0 1800.03/1800.71 c rapidlearning : 0.28 1 0 0 0 0 1800.03/1800.71 c Pricers : Time Calls Vars 1800.03/1800.71 c problem variables: 0.00 0 0 1800.03/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.03/1800.71 c relpscost : 216.63 13295 0 4 0 0 26586 1800.03/1800.71 c pscost : 0.00 0 0 0 0 0 0 1800.03/1800.71 c inference : 0.00 0 0 0 0 0 0 1800.03/1800.71 c mostinf : 0.00 0 0 0 0 0 0 1800.03/1800.71 c leastinf : 0.00 0 0 0 0 0 0 1800.03/1800.71 c fullstrong : 0.00 0 0 0 0 0 0 1800.03/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0 1800.03/1800.71 c random : 0.00 0 0 0 0 0 0 1800.03/1800.71 c Primal Heuristics : Time Calls Found 1800.03/1800.71 c LP solutions : 0.00 - 0 1800.03/1800.71 c pseudo solutions : 0.00 - 0 1800.03/1800.71 c feaspump : 0.00 0 0 1800.03/1800.71 c oneopt : 0.04 9 3 1800.03/1800.71 c crossover : 0.95 2 1 1800.03/1800.71 c objpscostdiving : 44.09 4 69 1800.03/1800.71 c guideddiving : 53.16 17 0 1800.03/1800.71 c veclendiving : 52.74 20 27 1800.03/1800.71 c fracdiving : 49.42 21 0 1800.03/1800.71 c linesearchdiving : 82.45 36 35 1800.03/1800.71 c rootsoldiving : 10.45 27 0 1800.03/1800.71 c coefdiving : 183.38 65 191 1800.03/1800.71 c pscostdiving : 375.16 161 290 1800.03/1800.71 c trivial : 0.00 2 3 1800.03/1800.71 c simplerounding : 0.59 15333 25 1800.03/1800.71 c zirounding : 0.83 1000 18 1800.03/1800.71 c rounding : 15.92 5458 1 1800.03/1800.71 c shifting : 3.57 1435 1 1800.03/1800.71 c intshifting : 0.00 0 0 1800.03/1800.71 c twoopt : 0.00 0 0 1800.03/1800.71 c fixandinfer : 0.00 0 0 1800.03/1800.71 c intdiving : 0.00 0 0 1800.03/1800.71 c actconsdiving : 0.00 0 0 1800.03/1800.71 c octane : 0.00 0 0 1800.03/1800.71 c rens : 0.00 0 0 1800.03/1800.71 c rins : 0.00 0 0 1800.03/1800.71 c localbranching : 0.00 0 0 1800.03/1800.71 c mutation : 0.00 0 0 1800.03/1800.71 c dins : 0.00 0 0 1800.03/1800.71 c undercover : 0.00 0 0 1800.03/1800.71 c nlp : 0.01 0 0 1800.03/1800.71 c trysol : 0.03 0 0 1800.03/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec 1800.03/1800.71 c primal LP : 0.01 0 0 0.00 0.00 1800.03/1800.71 c dual LP : 665.20 17029 1365598 80.19 2052.91 1800.03/1800.71 c lex dual LP : 0.00 0 0 0.00 - 1800.03/1800.71 c barrier LP : 0.00 0 0 0.00 - 1800.03/1800.71 c diving/probing LP: 825.77 42300 1922937 45.46 2328.66 1800.03/1800.71 c strong branching : 215.18 1446 341884 236.43 1588.83 1800.03/1800.71 c (at root node) : - 26 18995 730.58 - 1800.03/1800.71 c conflict analysis: 0.00 0 0 0.00 - 1800.03/1800.71 c B&B Tree : 1800.03/1800.71 c number of runs : 1 1800.03/1800.71 c nodes : 14992 1800.03/1800.71 c nodes (total) : 14992 1800.03/1800.71 c nodes left : 11595 1800.03/1800.71 c max depth : 145 1800.03/1800.71 c max depth (total): 145 1800.03/1800.71 c backtracks : 1532 (10.2%) 1800.03/1800.71 c delayed cutoffs : 0 1800.03/1800.71 c repropagations : 0 (0 domain reductions, 0 cutoffs) 1800.03/1800.71 c avg switch length: 5.55 1800.03/1800.71 c switching time : 1.46 1800.03/1800.71 c Solution : 1800.03/1800.71 c Solutions found : 665 (26 improvements) 1800.03/1800.71 c First Solution : +4.67000000000000e+02 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>) 1800.03/1800.71 c Primal Bound : +1.90000000000000e+02 (in run 1, after 688 nodes, 549.17 seconds, depth 231, found by <pscostdiving>) 1800.03/1800.71 c Dual Bound : +1.57173573494357e+02 1800.03/1800.71 c Gap : 20.89 % 1800.03/1800.71 c Root Dual Bound : +1.55999611155195e+02 1800.03/1800.71 c Root Iterations : 7190 1800.03/1800.75 c Time complete: 1800.06.
OK 190
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667002-1276370688/watcher-2667002-1276370688 -o /tmp/evaluation-result-2667002-1276370688/solver-2667002-1276370688 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667002-1276370688.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: 2.34 2.19 1.81 2/106 13980 /proc/meminfo: memFree=1353220/2059040 swapFree=4192956/4192956 [pid=13980] ppid=13978 vsize=7724 CPUtime=0 /proc/13980/stat : 13980 (pbscip.linux.x8) R 13978 13980 13526 0 -1 4202496 1013 0 0 0 0 0 0 0 24 0 1 0 12670222 7909376 933 1992294400 4194304 8223781 140735696267600 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13980/statm: 1931 942 348 984 0 944 0 [startup+0.048065 s] /proc/loadavg: 2.34 2.19 1.81 2/106 13980 /proc/meminfo: memFree=1353220/2059040 swapFree=4192956/4192956 [pid=13980] ppid=13978 vsize=13124 CPUtime=0.04 /proc/13980/stat : 13980 (pbscip.linux.x8) R 13978 13980 13526 0 -1 4202496 2962 0 0 0 3 1 0 0 24 0 1 0 12670222 13438976 2261 1992294400 4194304 8223781 140735696267600 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13980/statm: 3281 2265 445 984 0 2294 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 13124 [startup+0.101075 s] /proc/loadavg: 2.34 2.19 1.81 2/106 13980 /proc/meminfo: memFree=1353220/2059040 swapFree=4192956/4192956 [pid=13980] ppid=13978 vsize=14404 CPUtime=0.09 /proc/13980/stat : 13980 (pbscip.linux.x8) R 13978 13980 13526 0 -1 4202496 6143 0 0 0 7 2 0 0 24 0 1 0 12670222 14749696 2615 1992294400 4194304 8223781 140735696267600 18446744073709551615 5072321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13980/statm: 3858 2635 479 984 0 2871 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14404 [startup+0.301109 s] /proc/loadavg: 2.34 2.19 1.81 2/106 13980 /proc/meminfo: memFree=1353220/2059040 swapFree=4192956/4192956 [pid=13980] ppid=13978 vsize=17236 CPUtime=0.29 /proc/13980/stat : 13980 (pbscip.linux.x8) R 13978 13980 13526 0 -1 4202496 7022 0 0 0 27 2 0 0 25 0 1 0 12670222 17649664 3395 1992294400 4194304 8223781 140735696267600 18446744073709551615 6596681 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13980/statm: 4309 3395 539 984 0 3322 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17236 [startup+0.701177 s] /proc/loadavg: 2.34 2.19 1.81 2/106 13980 /proc/meminfo: memFree=1353220/2059040 swapFree=4192956/4192956 [pid=13980] ppid=13978 vsize=18664 CPUtime=0.69 /proc/13980/stat : 13980 (pbscip.linux.x8) R 13978 13980 13526 0 -1 4202496 7577 0 0 0 67 2 0 0 25 0 1 0 12670222 19111936 3681 1992294400 4194304 8223781 140735696267600 18446744073709551615 6569990 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13980/statm: 4666 3681 539 984 0 3679 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18664 [startup+1.50131 s] /proc/loadavg: 2.34 2.19 1.81 2/107 13981 /proc/meminfo: memFree=1340440/2059040 swapFree=4192956/4192956 [pid=13980] ppid=13978 vsize=29156 CPUtime=1.49 /proc/13980/stat : 13980 (pbscip.linux.x8) R 13978 13980 13526 0 -1 4202496 14838 0 0 0 142 7 0 0 25 0 1 0 12670222 29855744 6000 1992294400 4194304 8223781 140735696267600 18446744073709551615 5913476 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13980/statm: 7289 6000 580 984 0 6302 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29156 [startup+3.10159 s] /proc/loadavg: 2.34 2.19 1.81 2/107 13981 /proc/meminfo: memFree=1339448/2059040 swapFree=4192956/4192956 [pid=13980] ppid=13978 vsize=19896 CPUtime=3.09 /proc/13980/stat : 13980 (pbscip.linux.x8) R 13978 13980 13526 0 -1 4202496 16221 0 0 0 300 9 0 0 25 0 1 0 12670222 20373504 3920 1992294400 4194304 8223781 140735696267600 18446744073709551615 6559617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13980/statm: 4974 3920 586 984 0 3987 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19896 [startup+6.30114 s] /proc/loadavg: 2.23 2.17 1.80 2/107 13981 /proc/meminfo: memFree=1337836/2059040 swapFree=4192956/4192956 [pid=13980] ppid=13978 vsize=20260 CPUtime=6.29 /proc/13980/stat : 13980 (pbscip.linux.x8) R 13978 13980 13526 0 -1 4202496 18317 0 0 0 617 12 0 0 25 0 1 0 12670222 20746240 4226 1992294400 4194304 8223781 140735696267600 18446744073709551615 6567501 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13980/statm: 5065 4226 586 984 0 4078 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20260 [startup+12.7012 s] /proc/loadavg: 2.13 2.15 1.80 2/107 13981 /proc/meminfo: memFree=1337092/2059040 swapFree=4192956/4192956 [pid=13980] ppid=13978 vsize=21240 CPUtime=12.69 /proc/13980/stat : 13980 (pbscip.linux.x8) R 13978 13980 13526 0 -1 4202496 21430 0 0 0 1253 16 0 0 25 0 1 0 12670222 21749760 4411 1992294400 4194304 8223781 140735696267600 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13980/statm: 5310 4411 586 984 0 4323 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21240 [startup+25.5004 s] /proc/loadavg: 1.88 2.09 1.79 2/107 13981 /proc/meminfo: memFree=1337340/2059040 swapFree=4192956/4192956 [pid=13980] ppid=13978 vsize=21300 CPUtime=25.48 /proc/13980/stat : 13980 (pbscip.linux.x8) R 13978 13980 13526 0 -1 4202496 45314 0 0 0 2517 31 0 0 25 0 1 0 12670222 21811200 4419 1992294400 4194304 8223781 140735696267600 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13980/statm: 5325 4419 587 984 0 4338 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21300 [startup+51.1008 s] /proc/loadavg: 1.58 2.00 1.76 2/107 13983 /proc/meminfo: memFree=1337464/2059040 swapFree=4192956/4192956 [pid=13980] ppid=13978 vsize=20728 CPUtime=51.06 /proc/13980/stat : 13980 (pbscip.linux.x8) R 13978 13980 13526 0 -1 4202496 103618 0 0 0 5045 61 0 0 25 0 1 0 12670222 21225472 4303 1992294400 4194304 8223781 140735696267600 18446744073709551615 6589152 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13980/statm: 5182 4303 587 984 0 4195 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 20728 [startup+102.309 s] /proc/loadavg: 1.25 1.85 1.72 2/107 13983 /proc/meminfo: memFree=1337092/2059040 swapFree=4192956/4192956 [pid=13980] ppid=13978 vsize=21620 CPUtime=102.26 /proc/13980/stat : 13980 (pbscip.linux.x8) R 13978 13980 13526 0 -1 4202496 231258 0 0 0 10097 129 0 0 25 0 1 0 12670222 22138880 4492 1992294400 4194304 8223781 140735696267600 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13980/statm: 5405 4492 589 984 0 4418 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 21620 [startup+162.301 s] /proc/loadavg: 1.09 1.69 1.67 2/107 13985 /proc/meminfo: memFree=1336844/2059040 swapFree=4192956/4192956 [pid=13980] ppid=13978 vsize=21428 CPUtime=162.22 /proc/13980/stat : 13980 (pbscip.linux.x8) R 13978 13980 13526 0 -1 4202496 320662 0 0 0 16026 196 0 0 25 0 1 0 12670222 21942272 4459 1992294400 4194304 8223781 140735696267600 18446744073709551615 6569994 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13980/statm: 5357 4459 590 984 0 4370 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 21428 [startup+222.301 s] /proc/loadavg: 1.03 1.56 1.63 2/107 13987 /proc/meminfo: memFree=1336348/2059040 swapFree=4192956/4192956 [pid=13980] ppid=13978 vsize=22172 CPUtime=222.2 /proc/13980/stat : 13980 (pbscip.linux.x8) R 13978 13980 13526 0 -1 4202496 412603 0 0 0 21952 268 0 0 25 0 1 0 12670222 22704128 4533 1992294400 4194304 8223781 140735696267600 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13980/statm: 5543 4533 590 984 0 4556 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 22172 [startup+282.302 s] /proc/loadavg: 1.01 1.46 1.59 2/107 13989 /proc/meminfo: memFree=1335852/2059040 swapFree=4192956/4192956 [pid=13980] ppid=13978 vsize=22224 CPUtime=282.18 /proc/13980/stat : 13980 (pbscip.linux.x8) R 13978 13980 13526 0 -1 4202496 505084 0 0 0 27882 336 0 0 25 0 1 0 12670222 22757376 4664 1992294400 4194304 8223781 140735696267600 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13980/statm: 5556 4664 590 984 0 4569 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 22224 [startup+342.301 s] /proc/loadavg: 1.00 1.37 1.55 2/107 13989 /proc/meminfo: memFree=1335852/2059040 swapFree=4192956/4192956 [pid=13980] ppid=13978 vsize=22560 CPUtime=342.16 /proc/13980/stat : 13980 (pbscip.linux.x8) R 13978 13980 13526 0 -1 4202496 594884 0 0 0 33806 410 0 0 25 0 1 0 12670222 23101440 4676 1992294400 4194304 8223781 140735696267600 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13980/statm: 5640 4676 590 984 0 4653 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 22560 [startup+402.301 s] /proc/loadavg: 1.00 1.30 1.51 2/107 13991 /proc/meminfo: memFree=1335852/2059040 swapFree=4192956/4192956 [pid=13980] ppid=13978 vsize=22496 CPUtime=402.14 /proc/13980/stat : 13980 (pbscip.linux.x8) R 13978 13980 13526 0 -1 4202496 689607 0 0 0 39732 482 0 0 25 0 1 0 12670222 23035904 4664 1992294400 4194304 8223781 140735696267600 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13980/statm: 5624 4664 590 984 0 4637 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 22496 [startup+462.3 s] /proc/loadavg: 1.00 1.24 1.47 2/107 13993 /proc/meminfo: memFree=1336224/2059040 swapFree=4192956/4192956 [pid=13980] ppid=13978 vsize=22052 CPUtime=462.11 /proc/13980/stat : 13980 (pbscip.linux.x8) R 13978 13980 13526 0 -1 4202496 796817 0 0 0 45653 558 0 0 25 0 1 0 12670222 22581248 4577 1992294400 4194304 8223781 140735696267600 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13980/statm: 5513 4577 594 984 0 4526 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 22052 [startup+522.302 s] /proc/loadavg: 1.00 1.20 1.44 2/107 13995 /proc/meminfo: memFree=1335728/2059040 swapFree=4192956/4192956 [pid=13980] ppid=13978 vsize=22340 CPUtime=522.09 /proc/13980/stat : 13980 (pbscip.linux.x8) R 13978 13980 13526 0 -1 4202496 900686 0 0 0 51573 636 0 0 25 0 1 0 12670222 22876160 4700 1992294400 4194304 8223781 140735696267600 18446744073709551615 6562326 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13980/statm: 5585 4700 594 984 0 4598 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 22340 [startup+582.301 s] /proc/loadavg: 1.00 1.16 1.41 2/107 13997 /proc/meminfo: memFree=1335976/2059040 swapFree=4192956/4192956 [pid=13980] ppid=13978 vsize=22004 CPUtime=582.06 /proc/13980/stat : 13980 (pbscip.linux.x8) R 13978 13980 13526 0 -1 4202496 1006089 0 0 0 57487 719 0 0 25 0 1 0 12670222 22532096 4616 1992294400 4194304 8223781 140735696267600 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13980/statm: 5501 4616 594 984 0 4514 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 22004 [startup+642.301 s] /proc/loadavg: 1.00 1.13 1.38 2/107 13997 /proc/meminfo: memFree=1335480/2059040 swapFree=4192956/4192956 [pid=13980] ppid=13978 vsize=22656 CPUtime=642.05 /proc/13980/stat : 13980 (pbscip.linux.x8) R 13978 13980 13526 0 -1 4202496 1099251 0 0 0 63415 790 0 0 25 0 1 0 12670222 23199744 4713 1992294400 4194304 8223781 140735696267600 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13980/statm: 5664 4713 594 984 0 4677 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 22656 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.05 1.29 2/107 14005 /proc/meminfo: memFree=1335108/2059040 swapFree=4192956/4192956 [pid=13980] ppid=13978 vsize=22952 CPUtime=881.96 /proc/13980/stat : 13980 (pbscip.linux.x8) R 13978 13980 13526 0 -1 4202496 1455557 0 0 0 87124 1072 0 0 25 0 1 0 12670222 23502848 4803 1992294400 4194304 8223781 140735696267600 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13980/statm: 5738 4803 594 984 0 4751 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 22952 [startup+942.301 s] /proc/loadavg: 1.00 1.04 1.26 2/107 14005 /proc/meminfo: memFree=1334984/2059040 swapFree=4192956/4192956 [pid=13980] ppid=13978 vsize=22952 CPUtime=941.94 /proc/13980/stat : 13980 (pbscip.linux.x8) R 13978 13980 13526 0 -1 4202496 1550641 0 0 0 93050 1144 0 0 25 0 1 0 12670222 23502848 4804 1992294400 4194304 8223781 140735696267600 18446744073709551615 6536473 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13980/statm: 5738 4804 594 984 0 4751 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 22952 [startup+1002.3 s] /proc/loadavg: 1.00 1.03 1.25 2/107 14007 /proc/meminfo: memFree=1334612/2059040 swapFree=4192956/4192956 [pid=13980] ppid=13978 vsize=23364 CPUtime=1001.92 /proc/13980/stat : 13980 (pbscip.linux.x8) R 13978 13980 13526 0 -1 4202496 1651376 0 0 0 98974 1218 0 0 25 0 1 0 12670222 23924736 4921 1992294400 4194304 8223781 140735696267600 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13980/statm: 5841 4921 594 984 0 4854 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 23364 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 1.23 2/107 14009 /proc/meminfo: memFree=1334116/2059040 swapFree=4192956/4192956 [pid=13980] ppid=13978 vsize=22984 CPUtime=1061.89 /proc/13980/stat : 13980 (pbscip.linux.x8) R 13978 13980 13526 0 -1 4202496 1734063 0 0 0 104886 1303 0 0 25 0 1 0 12670222 23535616 4919 1992294400 4194304 8223781 140735696267600 18446744073709551615 6555618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13980/statm: 5746 4919 595 984 0 4759 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 22984 [startup+1122.3 s] /proc/loadavg: 1.00 1.02 1.21 2/107 14011 /proc/meminfo: memFree=1332504/2059040 swapFree=4192956/4192956 [pid=13980] ppid=13978 vsize=24008 CPUtime=1121.87 /proc/13980/stat : 13980 (pbscip.linux.x8) R 13978 13980 13526 0 -1 4202496 1824416 0 0 0 110802 1385 0 0 25 0 1 0 12670222 24584192 5179 1992294400 4194304 8223781 140735696267600 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13980/statm: 6002 5179 595 984 0 5015 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 24008 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.19 2/107 14013 /proc/meminfo: memFree=1333000/2059040 swapFree=4192956/4192956 [pid=13980] ppid=13978 vsize=24864 CPUtime=1181.85 /proc/13980/stat : 13980 (pbscip.linux.x8) R 13978 13980 13526 0 -1 4202496 1883079 0 0 0 116727 1458 0 0 25 0 1 0 12670222 25460736 5367 1992294400 4194304 8223781 140735696267600 18446744073709551615 6562235 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13980/statm: 6216 5367 595 984 0 5229 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 24864 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.18 2/107 14013 /proc/meminfo: memFree=1331388/2059040 swapFree=4192956/4192956 [pid=13980] ppid=13978 vsize=25456 CPUtime=1241.83 /proc/13980/stat : 13980 (pbscip.linux.x8) R 13978 13980 13526 0 -1 4202496 1944264 0 0 0 122660 1523 0 0 25 0 1 0 12670222 26066944 5549 1992294400 4194304 8223781 140735696267600 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13980/statm: 6364 5549 595 984 0 5377 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 25456 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.17 2/107 14015 /proc/meminfo: memFree=1330148/2059040 swapFree=4192956/4192956 [pid=13980] ppid=13978 vsize=27004 CPUtime=1301.81 /proc/13980/stat : 13980 (pbscip.linux.x8) R 13978 13980 13526 0 -1 4202496 2014422 0 0 0 128585 1596 0 0 25 0 1 0 12670222 27652096 5921 1992294400 4194304 8223781 140735696267600 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13980/statm: 6751 5921 595 984 0 5764 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 27004 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.15 2/107 14017 /proc/meminfo: memFree=1329280/2059040 swapFree=4192956/4192956 [pid=13980] ppid=13978 vsize=28552 CPUtime=1361.78 /proc/13980/stat : 13980 (pbscip.linux.x8) R 13978 13980 13526 0 -1 4202496 2075985 0 0 0 134515 1663 0 0 25 0 1 0 12670222 29237248 6203 1992294400 4194304 8223781 140735696267600 18446744073709551615 6004033 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13980/statm: 7138 6203 595 984 0 6151 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 28552 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.14 2/107 14019 /proc/meminfo: memFree=1329404/2059040 swapFree=4192956/4192956 [pid=13980] ppid=13978 vsize=27392 CPUtime=1421.77 /proc/13980/stat : 13980 (pbscip.linux.x8) R 13978 13980 13526 0 -1 4202496 2148763 0 0 0 140439 1738 0 0 25 0 1 0 12670222 28049408 6041 1992294400 4194304 8223781 140735696267600 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13980/statm: 6848 6041 595 984 0 5861 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 27392 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.13 2/107 14021 /proc/meminfo: memFree=1328908/2059040 swapFree=4192956/4192956 [pid=13980] ppid=13978 vsize=28704 CPUtime=1481.73 /proc/13980/stat : 13980 (pbscip.linux.x8) R 13978 13980 13526 0 -1 4202496 2217213 0 0 0 146363 1810 0 0 25 0 1 0 12670222 29392896 6281 1992294400 4194304 8223781 140735696267600 18446744073709551615 6559800 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13980/statm: 7176 6281 595 984 0 6189 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 28704 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.12 2/107 14021 /proc/meminfo: memFree=1329032/2059040 swapFree=4192956/4192956 [pid=13980] ppid=13978 vsize=28588 CPUtime=1541.71 /proc/13980/stat : 13980 (pbscip.linux.x8) R 13978 13980 13526 0 -1 4202496 2286723 0 0 0 152293 1878 0 0 25 0 1 0 12670222 29274112 6308 1992294400 4194304 8223781 140735696267600 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13980/statm: 7147 6308 595 984 0 6160 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 28588 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.11 2/107 14023 /proc/meminfo: memFree=1326428/2059040 swapFree=4192956/4192956 [pid=13980] ppid=13978 vsize=31208 CPUtime=1601.69 /proc/13980/stat : 13980 (pbscip.linux.x8) R 13978 13980 13526 0 -1 4202496 2352488 0 0 0 158217 1952 0 0 25 0 1 0 12670222 31956992 6897 1992294400 4194304 8223781 140735696267600 18446744073709551615 6601733 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13980/statm: 7677 6828 595 984 0 6690 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 31208 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.10 2/107 14025 /proc/meminfo: memFree=1325808/2059040 swapFree=4192956/4192956 [pid=13980] ppid=13978 vsize=31632 CPUtime=1661.67 /proc/13980/stat : 13980 (pbscip.linux.x8) R 13978 13980 13526 0 -1 4202496 2418810 0 0 0 164146 2021 0 0 25 0 1 0 12670222 32391168 6969 1992294400 4194304 8223781 140735696267600 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13980/statm: 7908 6969 595 984 0 6921 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 31632 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.09 2/107 14027 /proc/meminfo: memFree=1326056/2059040 swapFree=4192956/4192956 [pid=13980] ppid=13978 vsize=31336 CPUtime=1721.64 /proc/13980/stat : 13980 (pbscip.linux.x8) R 13978 13980 13526 0 -1 4202496 2481801 0 0 0 170068 2096 0 0 25 0 1 0 12670222 32088064 6974 1992294400 4194304 8223781 140735696267600 18446744073709551615 6562447 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13980/statm: 7834 6974 595 984 0 6847 0 Current children cumulated CPU time (s) 1721.64 Current children cumulated vsize (KiB) 31336 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 14029 /proc/meminfo: memFree=1325932/2059040 swapFree=4192956/4192956 [pid=13980] ppid=13978 vsize=31984 CPUtime=1781.62 /proc/13980/stat : 13980 (pbscip.linux.x8) R 13978 13980 13526 0 -1 4202496 2551994 0 0 0 175989 2173 0 0 25 0 1 0 12670222 32751616 7121 1992294400 4194304 8223781 140735696267600 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13980/statm: 7996 7121 595 984 0 7009 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (KiB) 31984 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.08 2/107 14029 /proc/meminfo: memFree=1325684/2059040 swapFree=4192956/4192956 [pid=13980] ppid=13978 vsize=31208 CPUtime=1800.03 /proc/13980/stat : 13980 (pbscip.linux.x8) R 13978 13980 13526 0 -1 4202496 2575792 0 0 0 177807 2196 0 0 25 0 1 0 12670222 31956992 6980 1992294400 4194304 8223781 140735696267600 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13980/statm: 7802 6980 595 984 0 6815 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 31208 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.08 2/107 14029 /proc/meminfo: memFree=1325684/2059040 swapFree=4192956/4192956 [pid=13980] ppid=13978 vsize=31208 CPUtime=1800.03 /proc/13980/stat : 13980 (pbscip.linux.x8) R 13978 13980 13526 0 -1 4202496 2575792 0 0 0 177807 2196 0 0 25 0 1 0 12670222 31956992 6980 1992294400 4194304 8223781 140735696267600 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13980/statm: 7802 6980 595 984 0 6815 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 31208 Child status: 0 Real time (s): 1800.76 CPU time (s): 1800.08 CPU user time (s): 1778.11 CPU system time (s): 21.9697 CPU usage (%): 99.9623 Max. virtual memory (cumulated for all children) (KiB): 33380 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1778.11 system time used= 21.9697 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2575798 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= 2 involuntary context switches= 21181 runsolver used 2.84957 second user time and 8.63169 second system time The end
Begin job on node014 at 2010-06-12 21:24:48 IDJOB=2667002 IDBENCH=1957 IDSOLVER=1169 FILE ID=node014/2667002-1276370688 PBS_JOBID= 11173219 Free space on /tmp= 62464 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 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_19.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-2667002-1276370688/watcher-2667002-1276370688 -o /tmp/evaluation-result-2667002-1276370688/solver-2667002-1276370688 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667002-1276370688.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 80b0f13939656efa52b7dd958ee28431 RANDOM SEED=653420568 node014.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.258 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.51 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.258 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1353748 kB Buffers: 143244 kB Cached: 416660 kB SwapCached: 0 kB Active: 198796 kB Inactive: 421012 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1353748 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4612 kB Writeback: 64 kB AnonPages: 59848 kB Mapped: 15432 kB Slab: 63744 kB PageTables: 4008 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181980 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= 62460 MiB End job on node014 at 2010-06-12 21:54:51