Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | SAT (TO) | 191 | 1800.13 | 1800.75 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb |
MD5SUM | 9828b7020b058ee74169951dda258843 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 191 |
Best CPU time to get the best result obtained on this benchmark | 1800.13 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 186 |
Optimality of the best value was proved | NO |
Number of variables | 476 |
Total number of constraints | 476 |
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 | 476 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 476 |
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 | 476 |
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 | 476 |
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: Clp 1.11.1] [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-2665481-1276365284.opb> 0.00/0.02 c original problem has 476 variables (476 bin, 0 int, 0 impl, 0 cont) and 476 constraints 0.00/0.02 c problem read 0.00/0.02 c presolving settings loaded 0.00/0.03 o 476 0.00/0.03 c feasible solution found by trivial heuristic, objective value 4.760000e+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, 27 chg coeffs, 0 upgd conss, 0 impls, 0 clqs 0.05/0.05 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 476 upgd conss, 0 impls, 0 clqs 0.05/0.07 c (round 3) 0 del vars, 1 del conss, 0 chg bounds, 111 chg sides, 344 chg coeffs, 476 upgd conss, 210 impls, 0 clqs 0.05/0.07 c (round 4) 0 del vars, 39 del conss, 0 chg bounds, 236 chg sides, 537 chg coeffs, 476 upgd conss, 210 impls, 0 clqs 0.05/0.08 c (round 5) 0 del vars, 48 del conss, 0 chg bounds, 251 chg sides, 558 chg coeffs, 476 upgd conss, 210 impls, 0 clqs 0.05/0.08 c (round 6) 0 del vars, 48 del conss, 0 chg bounds, 254 chg sides, 564 chg coeffs, 476 upgd conss, 210 impls, 0 clqs 0.05/0.09 c (0.1s) probing: 101/476 (21.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.05/0.09 c (0.1s) probing aborted: 100/100 successive totally useless probings 0.05/0.09 c presolving (7 rounds): 0.05/0.09 c 0 deleted vars, 48 deleted constraints, 0 tightened bounds, 0 added holes, 254 changed sides, 564 changed coefficients 0.05/0.09 c 210 implications, 0 cliques 0.05/0.09 c presolved problem has 476 variables (476 bin, 0 int, 0 impl, 0 cont) and 546 constraints 0.05/0.09 c 457 constraints of type <knapsack> 0.05/0.09 c 87 constraints of type <setppc> 0.05/0.09 c 2 constraints of type <logicor> 0.05/0.09 c transformed objective value is always integral (scale: 1) 0.05/0.09 c Presolving Time: 0.05 0.05/0.09 c - non default parameters ---------------------------------------------------------------------- 0.05/0.09 c # SCIP version 1.2.1.2 0.05/0.09 c 0.05/0.09 c # frequency for displaying node information lines 0.05/0.09 c # [type: int, range: [-1,2147483647], default: 100] 0.05/0.09 c display/freq = 10000 0.05/0.09 c 0.05/0.09 c # maximal time in seconds to run 0.05/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.05/0.09 c limits/time = 1799.98 0.05/0.09 c 0.05/0.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.05/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.05/0.09 c limits/memory = 1620 0.05/0.09 c 0.05/0.09 c # should presolving try to simplify inequalities 0.05/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.05/0.09 c constraints/linear/simplifyinequalities = TRUE 0.05/0.09 c 0.05/0.09 c # should presolving try to simplify knapsacks 0.05/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.05/0.09 c constraints/knapsack/simplifyinequalities = TRUE 0.05/0.09 c 0.05/0.09 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.05/0.09 c # [type: int, range: [-1,2147483647], default: -1] 0.05/0.09 c separating/rapidlearning/freq = 0 0.05/0.09 c 0.05/0.09 c ----------------------------------------------------------------------------------------------- 0.05/0.09 c start solving 0.05/0.10 c 0.39/0.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.39/0.49 c t 0.4s| 1 | 0 | 1087 | - |2576k| 0 | 334 | 476 | 546 | 476 | 546 | 0 | 0 | 0 | 1.489530e+02 | 4.760000e+02 | 219.56% 0.39/0.49 o 345 0.39/0.49 c r 0.4s| 1 | 0 | 1087 | - |2590k| 0 | 334 | 476 | 546 | 476 | 546 | 0 | 0 | 0 | 1.489530e+02 | 3.450000e+02 | 131.62% 0.49/0.50 o 344 0.49/0.50 c R 0.5s| 1 | 0 | 1087 | - |2603k| 0 | 334 | 476 | 546 | 476 | 546 | 0 | 0 | 0 | 1.489530e+02 | 3.440000e+02 | 130.95% 0.49/0.52 o 343 0.49/0.52 c s 0.5s| 1 | 0 | 1087 | - |2616k| 0 | 334 | 476 | 546 | 476 | 546 | 0 | 0 | 0 | 1.489530e+02 | 3.430000e+02 | 130.27% 1.59/1.66 c 1.6s| 1 | 0 | 2173 | - |2893k| 0 | 383 | 476 | 546 | 476 | 780 | 234 | 0 | 0 | 1.558244e+02 | 3.430000e+02 | 120.12% 1.59/1.66 o 211 1.59/1.66 c b 1.6s| 1 | 0 | 2173 | - |2907k| 0 | 383 | 476 | 546 | 476 | 780 | 234 | 0 | 0 | 1.558244e+02 | 2.110000e+02 | 35.41% 2.89/3.00 c 2.9s| 1 | 0 | 3275 | - |3135k| 0 | 422 | 476 | 546 | 476 | 963 | 417 | 0 | 0 | 1.596243e+02 | 2.110000e+02 | 32.19% 4.19/4.28 c 4.2s| 1 | 0 | 4071 | - |3307k| 0 | 422 | 476 | 546 | 476 |1100 | 554 | 0 | 0 | 1.615004e+02 | 2.110000e+02 | 30.65% 5.58/5.60 c 5.5s| 1 | 0 | 4801 | - |3446k| 0 | 428 | 476 | 546 | 476 |1215 | 669 | 0 | 0 | 1.623391e+02 | 2.110000e+02 | 29.97% 6.88/6.95 c 6.8s| 1 | 0 | 5334 | - |3531k| 0 | 439 | 476 | 546 | 476 |1297 | 751 | 0 | 0 | 1.629037e+02 | 2.110000e+02 | 29.52% 8.28/8.37 c 8.2s| 1 | 0 | 5829 | - |3577k| 0 | 437 | 476 | 546 | 476 |1348 | 802 | 0 | 0 | 1.633006e+02 | 2.110000e+02 | 29.21% 9.58/9.67 c 9.5s| 1 | 0 | 6146 | - |3600k| 0 | 444 | 476 | 546 | 476 |1372 | 826 | 0 | 0 | 1.634508e+02 | 2.110000e+02 | 29.09% 10.58/10.67 c 10.5s| 1 | 0 | 6242 | - |3607k| 0 | 444 | 476 | 546 | 476 |1380 | 834 | 0 | 0 | 1.634767e+02 | 2.110000e+02 | 29.07% 11.59/11.64 c 11.5s| 1 | 0 | 6274 | - |3615k| 0 | 440 | 476 | 546 | 476 |1383 | 837 | 0 | 0 | 1.634795e+02 | 2.110000e+02 | 29.07% 12.58/12.64 c 12.5s| 1 | 0 | 6358 | - |3622k| 0 | 442 | 476 | 546 | 476 |1384 | 838 | 0 | 0 | 1.634909e+02 | 2.110000e+02 | 29.06% 13.48/13.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 13.48/13.58 c 13.4s| 1 | 0 | 6385 | - |3629k| 0 | 444 | 476 | 546 | 476 |1314 | 839 | 0 | 0 | 1.634920e+02 | 2.110000e+02 | 29.06% 14.38/14.49 c 14.3s| 1 | 0 | 6405 | - |3636k| 0 | 444 | 476 | 546 | 476 |1315 | 840 | 0 | 0 | 1.634925e+02 | 2.110000e+02 | 29.06% 33.67/33.70 c 33.2s| 1 | 2 | 6405 | - |3657k| 0 | 444 | 476 | 546 | 476 |1315 | 840 | 0 | 38 | 1.634925e+02 | 2.110000e+02 | 29.06% 90.46/90.54 o 206 90.46/90.54 c p88.9s| 27 | 28 | 30829 | 939.4 |4500k| 14 | - | 476 | 546 | 476 | 970 | 840 | 0 | 260 | 1.638350e+02 | 2.060000e+02 | 25.74% 90.46/90.54 o 204 90.46/90.54 c p88.9s| 27 | 28 | 30842 | 939.9 |4502k| 14 | - | 476 | 546 | 476 | 970 | 840 | 0 | 260 | 1.638350e+02 | 2.040000e+02 | 24.52% 90.46/90.55 o 203 90.46/90.55 c p88.9s| 27 | 28 | 30847 | 940.1 |4503k| 14 | - | 476 | 546 | 476 | 970 | 840 | 0 | 260 | 1.638350e+02 | 2.030000e+02 | 23.91% 90.46/90.55 o 203 90.46/90.55 c p88.9s| 27 | 28 | 30851 | 940.2 |4504k| 14 | - | 476 | 546 | 476 | 970 | 840 | 0 | 260 | 1.638350e+02 | 2.030000e+02 | 23.91% 90.46/90.55 o 202 90.46/90.55 c p88.9s| 27 | 28 | 30858 | 940.5 |4506k| 14 | - | 476 | 546 | 476 | 970 | 840 | 0 | 260 | 1.638350e+02 | 2.020000e+02 | 23.29% 90.46/90.55 o 200 90.46/90.55 c p88.9s| 27 | 28 | 30859 | 940.5 |4507k| 14 | - | 476 | 546 | 476 | 970 | 840 | 0 | 260 | 1.638350e+02 | 2.000000e+02 | 22.07% 90.46/90.56 o 200 90.46/90.56 c p88.9s| 27 | 28 | 30868 | 940.9 |4510k| 14 | - | 476 | 546 | 476 | 970 | 840 | 0 | 260 | 1.638350e+02 | 2.000000e+02 | 22.07% 90.46/90.57 o 199 90.46/90.57 c p88.9s| 27 | 28 | 30877 | 941.2 |4514k| 14 | - | 476 | 546 | 476 | 970 | 840 | 0 | 260 | 1.638350e+02 | 1.990000e+02 | 21.46% 273.89/274.06 o 198 273.89/274.06 c p 268s| 449 | 450 |469607 |1033.9 |4911k| 27 | - | 476 | 564 | 476 | 970 | 840 | 18 | 374 | 1.641574e+02 | 1.980000e+02 | 20.62% 273.89/274.07 o 197 273.89/274.07 c p 268s| 449 | 450 |469611 |1033.9 |4913k| 27 | - | 476 | 564 | 476 | 970 | 840 | 18 | 374 | 1.641574e+02 | 1.970000e+02 | 20.01% 304.59/304.75 o 197 304.59/304.75 c p 298s| 524 | 525 |536759 |1014.1 |4956k| 27 | - | 476 | 564 | 476 | 970 | 840 | 18 | 419 | 1.642533e+02 | 1.970000e+02 | 19.94% 304.59/304.75 o 196 304.59/304.75 c p 298s| 524 | 525 |536768 |1014.1 |4958k| 27 | - | 476 | 564 | 476 | 970 | 840 | 18 | 419 | 1.642533e+02 | 1.960000e+02 | 19.33% 313.67/313.87 o 196 313.67/313.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 313.67/313.87 c p 307s| 542 | 543 |558086 |1019.7 |4961k| 27 | - | 476 | 564 | 476 | 970 | 840 | 18 | 428 | 1.642659e+02 | 1.960000e+02 | 19.32% 313.67/313.87 o 195 313.67/313.87 c p 307s| 542 | 543 |558087 |1019.7 |4962k| 27 | - | 476 | 564 | 476 | 970 | 840 | 18 | 428 | 1.642659e+02 | 1.950000e+02 | 18.71% 455.82/456.03 o 191 455.82/456.03 c C 446s| 866 | 867 |915924 |1051.5 |5013k| 30 | 351 | 476 | 575 | 476 | 970 | 840 | 29 | 523 | 1.644375e+02 | 1.910000e+02 | 16.15% 1800.08/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.08/1800.72 c 1800.08/1800.72 c SCIP Status : solving was interrupted [user interrupt] 1800.08/1800.72 c Solving Time (sec) : 1759.25 1800.08/1800.72 c Solving Nodes : 7320 1800.08/1800.72 c Primal Bound : +1.91000000000000e+02 (653 solutions) 1800.08/1800.72 c Dual Bound : +1.65312590237719e+02 1800.08/1800.72 c Gap : 15.54 % 1800.08/1800.72 s SATISFIABLE 1800.08/1800.72 v -x476 x475 x474 -x473 x472 -x471 -x470 x469 -x468 x467 -x466 x465 x464 -x463 -x462 -x461 -x460 x459 x458 x457 -x456 x455 -x454 1800.08/1800.72 v x453 -x452 -x451 x450 -x449 -x448 -x447 x446 x445 -x444 x443 -x442 x441 x440 -x439 -x438 x437 -x436 -x435 -x434 -x433 -x432 -x431 1800.08/1800.72 v x430 -x429 -x428 x427 x426 x425 -x424 x423 x422 x421 -x420 x419 x418 x417 -x416 -x415 -x414 -x413 -x412 x411 -x410 -x409 1800.08/1800.72 v x408 x407 -x406 x405 -x404 -x403 -x402 -x401 -x400 x399 -x398 -x397 -x396 x395 x394 -x393 -x392 x391 -x390 -x389 -x388 -x387 1800.08/1800.72 v x386 x385 -x384 x383 -x382 -x381 x380 x379 -x378 -x377 -x376 -x375 x374 -x373 -x372 x371 -x370 -x369 x368 x367 -x366 -x365 -x364 1800.08/1800.72 v -x363 -x362 x361 x360 -x359 x358 x357 x356 -x355 -x354 -x353 -x352 x351 -x350 -x349 x348 -x347 -x346 -x345 -x344 x343 x342 1800.08/1800.72 v -x341 -x340 x339 -x338 x337 x336 -x335 -x334 x333 x332 x331 -x330 -x329 x328 x327 -x326 x325 -x324 -x323 x322 -x321 x320 x319 1800.08/1800.72 v -x318 x317 x316 -x315 -x314 -x313 -x312 x311 -x310 -x309 x308 -x307 -x306 -x305 -x304 x303 -x302 -x301 x300 -x299 -x298 -x297 1800.08/1800.72 v -x296 x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 x287 x286 x285 -x284 x283 -x282 -x281 -x280 -x279 -x278 x277 x276 x275 1800.08/1800.72 v x274 -x273 x272 -x271 x270 -x269 x268 -x267 -x266 -x265 -x264 x263 x262 x261 -x260 -x259 -x258 x257 x256 x255 -x254 x253 1800.08/1800.72 v -x252 -x251 x250 x249 x248 -x247 -x246 x245 -x244 -x243 -x242 -x241 x240 -x239 -x238 x237 x236 x235 x234 x233 x232 x231 x230 1800.08/1800.72 v -x229 x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 x219 x218 x217 x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 1800.08/1800.72 v -x207 -x206 x205 -x204 -x203 -x202 x201 -x200 x199 -x198 -x197 x196 x195 x194 -x193 -x192 -x191 x190 -x189 x188 x187 -x186 -x185 1800.08/1800.72 v -x184 -x183 -x182 -x181 -x180 x179 x178 x177 x176 -x175 -x174 -x173 x172 -x171 -x170 x169 -x168 -x167 -x166 x165 x164 x163 1800.08/1800.72 v -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 x152 x151 x150 -x149 -x148 x147 -x146 -x145 -x144 x143 -x142 x141 1800.08/1800.72 v x140 -x139 x138 x137 x136 x135 -x134 -x133 -x132 -x131 -x130 x129 x128 x127 x126 -x125 -x124 -x123 x122 -x121 -x120 -x119 1800.08/1800.72 v -x118 -x117 -x116 x115 -x114 -x113 x112 -x111 x110 -x109 -x108 x107 -x106 -x105 -x104 x103 -x102 x101 -x100 x99 -x98 x97 x96 1800.08/1800.72 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 1800.08/1800.72 v -x68 x67 -x66 x65 x64 x63 x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 x54 x53 x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43 -x42 1800.08/1800.72 v -x41 x40 x39 -x38 -x37 -x36 x35 x34 x33 x32 -x31 -x30 x29 -x28 -x27 x26 x25 -x24 -x23 x22 x21 -x20 x19 x18 -x17 -x16 -x15 -x14 1800.08/1800.72 v x13 -x12 -x11 -x10 -x9 x8 x7 -x6 -x5 x4 x3 -x2 -x1 1800.08/1800.72 c SCIP Status : solving was interrupted [user interrupt] 1800.08/1800.72 c Solving Time : 1759.25 1800.08/1800.72 c Original Problem : 1800.08/1800.72 c Problem name : HOME/instance-2665481-1276365284.opb 1800.08/1800.72 c Variables : 476 (476 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.08/1800.72 c Constraints : 476 initial, 476 maximal 1800.08/1800.72 c Presolved Problem : 1800.08/1800.72 c Problem name : t_HOME/instance-2665481-1276365284.opb 1800.08/1800.72 c Variables : 476 (476 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.08/1800.72 c Constraints : 546 initial, 595 maximal 1800.08/1800.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.08/1800.72 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.72 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.72 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.72 c implics : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.72 c probing : 0.01 0 0 0 0 0 0 0 0 1800.08/1800.72 c knapsack : 0.02 0 0 0 0 0 17 254 537 1800.08/1800.72 c setppc : 0.00 0 0 0 0 0 31 0 0 1800.08/1800.72 c linear : 0.01 0 0 0 0 0 0 0 27 1800.08/1800.72 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.72 c root node : - 0 - - 0 - - - - 1800.08/1800.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.08/1800.72 c integral : 0 0 0 7311 0 0 0 0 0 14622 1800.08/1800.72 c knapsack : 457 13 78629 0 0 0 3708 867 0 0 1800.08/1800.72 c setppc : 87 13 78629 0 0 0 386 0 0 0 1800.08/1800.72 c logicor : 2+ 13 6557 0 0 0 0 0 0 0 1800.08/1800.72 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.08/1800.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.08/1800.72 c integral : 176.67 0.00 0.00 176.67 0.00 1800.08/1800.72 c knapsack : 3.63 0.10 3.53 0.00 0.00 1800.08/1800.72 c setppc : 0.40 0.00 0.40 0.00 0.00 1800.08/1800.72 c logicor : 0.03 0.00 0.03 0.00 0.00 1800.08/1800.72 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.08/1800.72 c Propagators : Time Calls Cutoffs DomReds 1800.08/1800.72 c vbounds : 0.05 2 0 0 1800.08/1800.72 c rootredcost : 0.07 11 0 0 1800.08/1800.72 c pseudoobj : 1.91 78998 0 0 1800.08/1800.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.08/1800.72 c propagation : 0.00 0 0 0 0.0 0 0.0 - 1800.08/1800.72 c infeasible LP : 0.00 51 49 49 3.8 0 0.0 0 1800.08/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.08/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.08/1800.72 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.08/1800.72 c applied globally : - - - 49 3.8 - - - 1800.08/1800.72 c applied locally : - - - 0 0.0 - - - 1800.08/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.08/1800.72 c cut pool : 0.02 12 - - 343 - (maximal pool size: 1542) 1800.08/1800.72 c redcost : 0.10 7344 0 448 0 0 1800.08/1800.72 c impliedbounds : 0.00 13 0 0 33 0 1800.08/1800.72 c intobj : 0.00 0 0 0 0 0 1800.08/1800.72 c cgmip : 0.00 0 0 0 0 0 1800.08/1800.72 c gomory : 5.06 13 0 0 0 0 1800.08/1800.72 c strongcg : 4.73 13 0 0 0 0 1800.08/1800.72 c cmir : 0.52 10 0 0 897 0 1800.08/1800.72 c flowcover : 0.57 10 0 0 1049 0 1800.08/1800.72 c clique : 0.00 1 0 0 0 0 1800.08/1800.72 c zerohalf : 0.00 0 0 0 0 0 1800.08/1800.72 c mcf : 0.00 1 0 0 0 0 1800.08/1800.72 c rapidlearning : 0.08 1 0 0 0 0 1800.08/1800.72 c Pricers : Time Calls Vars 1800.08/1800.72 c problem variables: 0.00 0 0 1800.08/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.08/1800.72 c relpscost : 176.65 7311 0 0 0 0 14622 1800.08/1800.72 c pscost : 0.00 0 0 0 0 0 0 1800.08/1800.72 c inference : 0.00 0 0 0 0 0 0 1800.08/1800.72 c mostinf : 0.00 0 0 0 0 0 0 1800.08/1800.72 c leastinf : 0.00 0 0 0 0 0 0 1800.08/1800.72 c fullstrong : 0.00 0 0 0 0 0 0 1800.08/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0 1800.08/1800.72 c random : 0.00 0 0 0 0 0 0 1800.08/1800.72 c Primal Heuristics : Time Calls Found 1800.08/1800.72 c LP solutions : 0.00 - 0 1800.08/1800.72 c pseudo solutions : 0.00 - 0 1800.08/1800.72 c oneopt : 0.02 7 1 1800.08/1800.72 c coefdiving : 60.61 20 143 1800.08/1800.72 c fracdiving : 62.73 23 2 1800.08/1800.72 c veclendiving : 79.36 33 88 1800.08/1800.72 c linesearchdiving : 90.92 43 76 1800.08/1800.72 c pscostdiving : 368.54 152 281 1800.08/1800.72 c trivial : 0.00 2 3 1800.08/1800.72 c simplerounding : 0.49 7339 27 1800.08/1800.72 c zirounding : 1.06 1301 26 1800.08/1800.72 c rounding : 24.15 3636 1 1800.08/1800.72 c shifting : 5.25 735 1 1800.08/1800.72 c intshifting : 0.00 0 0 1800.08/1800.72 c twoopt : 0.00 0 0 1800.08/1800.72 c fixandinfer : 0.00 0 0 1800.08/1800.72 c feaspump : 0.00 0 0 1800.08/1800.72 c intdiving : 0.00 0 0 1800.08/1800.72 c actconsdiving : 0.00 0 0 1800.08/1800.72 c objpscostdiving : 56.54 2 0 1800.08/1800.72 c rootsoldiving : 4.67 8 0 1800.08/1800.72 c guideddiving : 50.53 19 0 1800.08/1800.72 c octane : 0.00 0 0 1800.08/1800.72 c rens : 0.01 0 0 1800.08/1800.72 c rins : 0.00 0 0 1800.08/1800.72 c localbranching : 0.00 0 0 1800.08/1800.72 c mutation : 0.00 0 0 1800.08/1800.72 c crossover : 0.19 4 4 1800.08/1800.72 c dins : 0.00 0 0 1800.08/1800.72 c undercover : 0.00 0 0 1800.08/1800.72 c nlp : 0.01 0 0 1800.08/1800.72 c trysol : 0.01 0 0 1800.08/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec 1800.08/1800.72 c primal LP : 0.01 0 0 0.00 0.00 1800.08/1800.72 c dual LP : 761.00 7354 1783447 242.51 2343.56 1800.08/1800.72 c lex dual LP : 0.00 0 0 0.00 - 1800.08/1800.72 c barrier LP : 0.00 0 0 0.00 - 1800.08/1800.72 c diving/probing LP: 750.48 48427 2263421 46.74 3015.96 1800.08/1800.72 c strong branching : 174.94 1457 420614 288.68 2404.33 1800.08/1800.72 c (at root node) : - 38 31209 821.29 - 1800.08/1800.72 c conflict analysis: 0.00 0 0 0.00 - 1800.08/1800.72 c B&B Tree : 1800.08/1800.72 c number of runs : 1 1800.08/1800.72 c nodes : 7320 1800.08/1800.72 c nodes (total) : 7320 1800.08/1800.72 c nodes left : 7303 1800.08/1800.72 c max depth : 97 1800.08/1800.72 c max depth (total): 97 1800.08/1800.72 c backtracks : 924 (12.6%) 1800.08/1800.72 c delayed cutoffs : 0 1800.08/1800.72 c repropagations : 0 (0 domain reductions, 0 cutoffs) 1800.08/1800.72 c avg switch length: 3.87 1800.08/1800.72 c switching time : 0.56 1800.08/1800.72 c Solution : 1800.08/1800.72 c Solutions found : 653 (20 improvements) 1800.08/1800.72 c First Solution : +4.76000000000000e+02 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>) 1800.08/1800.72 c Primal Bound : +1.91000000000000e+02 (in run 1, after 866 nodes, 445.72 seconds, depth 30, found by <crossover>) 1800.08/1800.72 c Dual Bound : +1.65312590237719e+02 1800.08/1800.72 c Gap : 15.54 % 1800.08/1800.72 c Root Dual Bound : +1.63492488780993e+02 1800.08/1800.72 c Root Iterations : 6405 1800.08/1800.75 c Time complete: 1800.12.
OK 191
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665481-1276365284/watcher-2665481-1276365284 -o /tmp/evaluation-result-2665481-1276365284/solver-2665481-1276365284 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665481-1276365284.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.23 2.50 1.97 3/106 13638 /proc/meminfo: memFree=1807920/2059040 swapFree=4136696/4192956 [pid=13638] ppid=13636 vsize=8260 CPUtime=0 /proc/13638/stat : 13638 (pbscip.linux.x8) R 13636 13638 13251 0 -1 4202496 1011 0 0 0 0 0 0 0 18 0 1 0 12129918 8458240 932 1992294400 4194304 9819077 140733658711152 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13638/statm: 2065 942 369 1374 0 686 0 [startup+0.056034 s] /proc/loadavg: 2.23 2.50 1.97 3/106 13638 /proc/meminfo: memFree=1807920/2059040 swapFree=4136696/4192956 [pid=13638] ppid=13636 vsize=16636 CPUtime=0.05 /proc/13638/stat : 13638 (pbscip.linux.x8) R 13636 13638 13251 0 -1 4202496 3568 0 0 0 4 1 0 0 21 0 1 0 12129918 17035264 2877 1992294400 4194304 9819077 140733658711152 18446744073709551615 4333569 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13638/statm: 4159 2877 494 1374 0 2780 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 16636 [startup+0.101041 s] /proc/loadavg: 2.23 2.50 1.97 3/106 13638 /proc/meminfo: memFree=1807920/2059040 swapFree=4136696/4192956 [pid=13638] ppid=13636 vsize=16768 CPUtime=0.09 /proc/13638/stat : 13638 (pbscip.linux.x8) R 13636 13638 13251 0 -1 4202496 5941 0 0 0 7 2 0 0 21 0 1 0 12129918 17170432 2937 1992294400 4194304 9819077 140733658711152 18446744073709551615 4858732 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13638/statm: 4192 2937 531 1374 0 2813 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16768 [startup+0.301076 s] /proc/loadavg: 2.23 2.50 1.97 3/106 13638 /proc/meminfo: memFree=1807920/2059040 swapFree=4136696/4192956 [pid=13638] ppid=13636 vsize=19212 CPUtime=0.29 /proc/13638/stat : 13638 (pbscip.linux.x8) R 13636 13638 13251 0 -1 4202496 7020 0 0 0 27 2 0 0 21 0 1 0 12129918 19673088 3360 1992294400 4194304 9819077 140733658711152 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13638/statm: 4803 3363 642 1374 0 3424 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19212 [startup+0.701149 s] /proc/loadavg: 2.23 2.50 1.97 3/106 13638 /proc/meminfo: memFree=1807920/2059040 swapFree=4136696/4192956 [pid=13638] ppid=13636 vsize=19908 CPUtime=0.69 /proc/13638/stat : 13638 (pbscip.linux.x8) R 13636 13638 13251 0 -1 4202496 7888 0 0 0 66 3 0 0 22 0 1 0 12129918 20385792 3484 1992294400 4194304 9819077 140733658711152 18446744073709551615 6059682 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13638/statm: 4977 3484 659 1374 0 3598 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19908 [startup+1.50129 s] /proc/loadavg: 2.23 2.50 1.97 2/107 13639 /proc/meminfo: memFree=1790056/2059040 swapFree=4136696/4192956 [pid=13638] ppid=13636 vsize=21220 CPUtime=1.49 /proc/13638/stat : 13638 (pbscip.linux.x8) R 13636 13638 13251 0 -1 4202496 16457 0 0 0 144 5 0 0 25 0 1 0 12129918 21729280 3722 1992294400 4194304 9819077 140733658711152 18446744073709551615 7290508 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13638/statm: 5305 3722 692 1374 0 3926 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21220 [startup+3.10158 s] /proc/loadavg: 2.23 2.50 1.97 2/107 13639 /proc/meminfo: memFree=1795512/2059040 swapFree=4136696/4192956 [pid=13638] ppid=13636 vsize=21576 CPUtime=3.09 /proc/13638/stat : 13638 (pbscip.linux.x8) R 13636 13638 13251 0 -1 4202496 20952 0 0 0 302 7 0 0 25 0 1 0 12129918 22093824 3737 1992294400 4194304 9819077 140733658711152 18446744073709551615 6044386 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13638/statm: 5394 3737 692 1374 0 4015 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21576 [startup+6.30115 s] /proc/loadavg: 2.13 2.47 1.97 2/107 13639 /proc/meminfo: memFree=1793652/2059040 swapFree=4136696/4192956 [pid=13638] ppid=13636 vsize=23340 CPUtime=6.29 /proc/13638/stat : 13638 (pbscip.linux.x8) R 13636 13638 13251 0 -1 4202496 26101 0 0 0 619 10 0 0 25 0 1 0 12129918 23900160 4021 1992294400 4194304 9819077 140733658711152 18446744073709551615 6059648 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13638/statm: 5835 4021 692 1374 0 4456 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23340 [startup+12.7013 s] /proc/loadavg: 2.04 2.45 1.96 2/107 13639 /proc/meminfo: memFree=1793528/2059040 swapFree=4136696/4192956 [pid=13638] ppid=13636 vsize=23884 CPUtime=12.68 /proc/13638/stat : 13638 (pbscip.linux.x8) R 13636 13638 13251 0 -1 4202496 31945 0 0 0 1255 13 0 0 25 0 1 0 12129918 24457216 4107 1992294400 4194304 9819077 140733658711152 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13638/statm: 5971 4107 692 1374 0 4592 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 23884 [startup+25.5006 s] /proc/loadavg: 1.81 2.38 1.95 2/107 13639 /proc/meminfo: memFree=1793156/2059040 swapFree=4136696/4192956 [pid=13638] ppid=13636 vsize=27296 CPUtime=25.48 /proc/13638/stat : 13638 (pbscip.linux.x8) R 13636 13638 13251 0 -1 4202496 80031 0 0 0 2518 30 0 0 25 0 1 0 12129918 27951104 4272 1992294400 4194304 9819077 140733658711152 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13638/statm: 6824 4272 706 1374 0 5445 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27296 [startup+51.1012 s] /proc/loadavg: 1.53 2.27 1.92 2/107 13641 /proc/meminfo: memFree=1793156/2059040 swapFree=4136696/4192956 [pid=13638] ppid=13636 vsize=26148 CPUtime=51.07 /proc/13638/stat : 13638 (pbscip.linux.x8) R 13636 13638 13251 0 -1 4202496 212008 0 0 0 5029 78 0 0 25 0 1 0 12129918 26775552 4166 1992294400 4194304 9819077 140733658711152 18446744073709551615 7309040 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13638/statm: 6537 4166 706 1374 0 5158 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 26148 [startup+102.308 s] /proc/loadavg: 1.23 2.07 1.87 2/107 13641 /proc/meminfo: memFree=1792784/2059040 swapFree=4136696/4192956 [pid=13638] ppid=13636 vsize=23280 CPUtime=102.25 /proc/13638/stat : 13638 (pbscip.linux.x8) R 13636 13638 13251 0 -1 4202496 484868 0 0 0 10044 181 0 0 25 0 1 0 12129918 23838720 4194 1992294400 4194304 9819077 140733658711152 18446744073709551615 7291639 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13638/statm: 5820 4194 706 1374 0 4441 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 23280 [startup+162.301 s] /proc/loadavg: 1.08 1.87 1.81 2/107 13643 /proc/meminfo: memFree=1792660/2059040 swapFree=4136696/4192956 [pid=13638] ppid=13636 vsize=23456 CPUtime=162.23 /proc/13638/stat : 13638 (pbscip.linux.x8) R 13636 13638 13251 0 -1 4202496 765557 0 0 0 15924 299 0 0 25 0 1 0 12129918 24018944 4237 1992294400 4194304 9819077 140733658711152 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13638/statm: 5906 4242 710 1374 0 4527 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 23456 [startup+222.301 s] /proc/loadavg: 1.03 1.71 1.76 2/107 13645 /proc/meminfo: memFree=1792536/2059040 swapFree=4136696/4192956 [pid=13638] ppid=13636 vsize=23876 CPUtime=222.21 /proc/13638/stat : 13638 (pbscip.linux.x8) R 13636 13638 13251 0 -1 4202496 1093194 0 0 0 21777 444 0 0 25 0 1 0 12129918 24449024 4344 1992294400 4194304 9819077 140733658711152 18446744073709551615 7298069 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13638/statm: 5969 4344 723 1374 0 4590 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 23876 [startup+282.301 s] /proc/loadavg: 1.01 1.58 1.71 2/107 13647 /proc/meminfo: memFree=1792164/2059040 swapFree=4136696/4192956 [pid=13638] ppid=13636 vsize=23744 CPUtime=282.19 /proc/13638/stat : 13638 (pbscip.linux.x8) R 13636 13638 13251 0 -1 4202496 1425019 0 0 0 27637 582 0 0 25 0 1 0 12129918 24313856 4329 1992294400 4194304 9819077 140733658711152 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13638/statm: 5936 4329 723 1374 0 4557 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 23744 [startup+342.301 s] /proc/loadavg: 1.00 1.47 1.66 2/107 13647 /proc/meminfo: memFree=1792040/2059040 swapFree=4136696/4192956 [pid=13638] ppid=13636 vsize=23648 CPUtime=342.17 /proc/13638/stat : 13638 (pbscip.linux.x8) R 13636 13638 13251 0 -1 4202496 1760742 0 0 0 33487 730 0 0 25 0 1 0 12129918 24215552 4337 1992294400 4194304 9819077 140733658711152 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13638/statm: 5912 4337 723 1374 0 4533 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 23648 [startup+402.301 s] /proc/loadavg: 1.00 1.38 1.62 2/107 13658 /proc/meminfo: memFree=1792040/2059040 swapFree=4136696/4192956 [pid=13638] ppid=13636 vsize=24000 CPUtime=402.13 /proc/13638/stat : 13638 (pbscip.linux.x8) R 13636 13638 13251 0 -1 4202496 2090067 0 0 0 39339 874 0 0 25 0 1 0 12129918 24576000 4361 1992294400 4194304 9819077 140733658711152 18446744073709551615 6656761 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13638/statm: 6000 4361 723 1374 0 4621 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 24000 [startup+462.301 s] /proc/loadavg: 1.00 1.31 1.58 2/107 13660 /proc/meminfo: memFree=1792040/2059040 swapFree=4136696/4192956 [pid=13638] ppid=13636 vsize=23836 CPUtime=462.12 /proc/13638/stat : 13638 (pbscip.linux.x8) R 13636 13638 13251 0 -1 4202496 2434371 0 0 0 45184 1028 0 0 25 0 1 0 12129918 24408064 4342 1992294400 4194304 9819077 140733658711152 18446744073709551615 6589097 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13638/statm: 5959 4342 725 1374 0 4580 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 23836 [startup+522.3 s] /proc/loadavg: 1.00 1.25 1.54 2/107 13662 /proc/meminfo: memFree=1791916/2059040 swapFree=4136696/4192956 [pid=13638] ppid=13636 vsize=24160 CPUtime=522.1 /proc/13638/stat : 13638 (pbscip.linux.x8) R 13636 13638 13251 0 -1 4202496 2761697 0 0 0 51040 1170 0 0 25 0 1 0 12129918 24739840 4444 1992294400 4194304 9819077 140733658711152 18446744073709551615 7290473 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13638/statm: 6040 4444 725 1374 0 4661 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 24160 [startup+582.301 s] /proc/loadavg: 1.00 1.20 1.50 2/107 13664 /proc/meminfo: memFree=1791544/2059040 swapFree=4136696/4192956 [pid=13638] ppid=13636 vsize=24152 CPUtime=582.07 /proc/13638/stat : 13638 (pbscip.linux.x8) R 13636 13638 13251 0 -1 4202496 3093110 0 0 0 56894 1313 0 0 25 0 1 0 12129918 24731648 4439 1992294400 4194304 9819077 140733658711152 18446744073709551615 6191141 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13638/statm: 6038 4439 725 1374 0 4659 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 24152 [startup+642.301 s] /proc/loadavg: 1.00 1.16 1.47 2/107 13664 /proc/meminfo: memFree=1791420/2059040 swapFree=4136696/4192956 [pid=13638] ppid=13636 vsize=24640 CPUtime=642.07 /proc/13638/stat : 13638 (pbscip.linux.x8) R 13636 13638 13251 0 -1 4202496 3416918 0 0 0 62750 1457 0 0 25 0 1 0 12129918 25231360 4522 1992294400 4194304 9819077 140733658711152 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13638/statm: 6160 4522 725 1374 0 4781 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 24640 [startup+702.302 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.07 1.35 2/107 13672 /proc/meminfo: memFree=1789560/2059040 swapFree=4136696/4192956 [pid=13638] ppid=13636 vsize=29092 CPUtime=881.98 /proc/13638/stat : 13638 (pbscip.linux.x8) R 13636 13638 13251 0 -1 4202496 4722961 0 0 0 86186 2012 0 0 25 0 1 0 12129918 29790208 4905 1992294400 4194304 9819077 140733658711152 18446744073709551615 6191160 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13638/statm: 7273 4905 725 1374 0 5894 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 29092 [startup+942.302 s] /proc/loadavg: 1.00 1.05 1.33 2/107 13672 /proc/meminfo: memFree=1789808/2059040 swapFree=4136696/4192956 [pid=13638] ppid=13636 vsize=26296 CPUtime=941.96 /proc/13638/stat : 13638 (pbscip.linux.x8) R 13636 13638 13251 0 -1 4202496 5040951 0 0 0 92044 2152 0 0 25 0 1 0 12129918 26927104 5024 1992294400 4194304 9819077 140733658711152 18446744073709551615 7290508 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13638/statm: 6574 5024 725 1374 0 5195 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 26296 [startup+1002.3 s] /proc/loadavg: 1.00 1.04 1.30 2/107 13674 /proc/meminfo: memFree=1789436/2059040 swapFree=4136696/4192956 [pid=13638] ppid=13636 vsize=26232 CPUtime=1001.94 /proc/13638/stat : 13638 (pbscip.linux.x8) R 13636 13638 13251 0 -1 4202496 5362626 0 0 0 97911 2283 0 0 25 0 1 0 12129918 26861568 4951 1992294400 4194304 9819077 140733658711152 18446744073709551615 7296202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13638/statm: 6558 4951 725 1374 0 5179 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 26232 [startup+1062.3 s] /proc/loadavg: 1.00 1.03 1.28 2/107 13676 /proc/meminfo: memFree=1789436/2059040 swapFree=4136696/4192956 [pid=13638] ppid=13636 vsize=26296 CPUtime=1061.92 /proc/13638/stat : 13638 (pbscip.linux.x8) R 13636 13638 13251 0 -1 4202496 5686729 0 0 0 103773 2419 0 0 25 0 1 0 12129918 26927104 4940 1992294400 4194304 9819077 140733658711152 18446744073709551615 7304790 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13638/statm: 6574 4941 725 1374 0 5195 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 26296 [startup+1122.3 s] /proc/loadavg: 1.00 1.02 1.26 2/107 13678 /proc/meminfo: memFree=1789312/2059040 swapFree=4136696/4192956 [pid=13638] ppid=13636 vsize=26296 CPUtime=1121.9 /proc/13638/stat : 13638 (pbscip.linux.x8) R 13636 13638 13251 0 -1 4202496 6009501 0 0 0 109643 2547 0 0 25 0 1 0 12129918 26927104 4906 1992294400 4194304 9819077 140733658711152 18446744073709551615 7290254 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13638/statm: 6574 4908 725 1374 0 5195 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 26296 [startup+1182.3 s] /proc/loadavg: 1.05 1.03 1.25 2/107 13683 /proc/meminfo: memFree=1787452/2059040 swapFree=4136696/4192956 [pid=13638] ppid=13636 vsize=27700 CPUtime=1181.87 /proc/13638/stat : 13638 (pbscip.linux.x8) R 13636 13638 13251 0 -1 4202496 6332485 0 0 0 115497 2690 0 0 25 0 1 0 12129918 28364800 5301 1992294400 4194304 9819077 140733658711152 18446744073709551615 7295832 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13638/statm: 6925 5301 725 1374 0 5546 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 27700 [startup+1242.3 s] /proc/loadavg: 1.02 1.02 1.23 2/107 13683 /proc/meminfo: memFree=1787204/2059040 swapFree=4136696/4192956 [pid=13638] ppid=13636 vsize=30644 CPUtime=1241.85 /proc/13638/stat : 13638 (pbscip.linux.x8) R 13636 13638 13251 0 -1 4202496 6658115 0 0 0 121350 2835 0 0 25 0 1 0 12129918 31379456 5322 1992294400 4194304 9819077 140733658711152 18446744073709551615 6192366 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13638/statm: 7661 5322 730 1374 0 6282 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 30644 [startup+1302.3 s] /proc/loadavg: 1.00 1.02 1.21 2/107 13685 /proc/meminfo: memFree=1786832/2059040 swapFree=4136696/4192956 [pid=13638] ppid=13636 vsize=27796 CPUtime=1301.84 /proc/13638/stat : 13638 (pbscip.linux.x8) R 13636 13638 13251 0 -1 4202496 6985966 0 0 0 127205 2979 0 0 25 0 1 0 12129918 28463104 5376 1992294400 4194304 9819077 140733658711152 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13638/statm: 6949 5376 730 1374 0 5570 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 27796 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.19 2/107 13687 /proc/meminfo: memFree=1786956/2059040 swapFree=4136696/4192956 [pid=13638] ppid=13636 vsize=28184 CPUtime=1361.82 /proc/13638/stat : 13638 (pbscip.linux.x8) R 13636 13638 13251 0 -1 4202496 7310370 0 0 0 133070 3112 0 0 25 0 1 0 12129918 28860416 5470 1992294400 4194304 9819077 140733658711152 18446744073709551615 7301532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13638/statm: 7046 5470 730 1374 0 5667 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 28184 [startup+1422.31 s] /proc/loadavg: 1.00 1.01 1.18 2/107 13689 /proc/meminfo: memFree=1786708/2059040 swapFree=4136696/4192956 [pid=13638] ppid=13636 vsize=28340 CPUtime=1421.8 /proc/13638/stat : 13638 (pbscip.linux.x8) R 13636 13638 13251 0 -1 4202496 7638231 0 0 0 138929 3251 0 0 25 0 1 0 12129918 29020160 5454 1992294400 4194304 9819077 140733658711152 18446744073709551615 7309084 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13638/statm: 7085 5454 730 1374 0 5706 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 28340 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.17 2/107 13691 /proc/meminfo: memFree=1786584/2059040 swapFree=4136696/4192956 [pid=13638] ppid=13636 vsize=28148 CPUtime=1481.78 /proc/13638/stat : 13638 (pbscip.linux.x8) R 13636 13638 13251 0 -1 4202496 7960798 0 0 0 144791 3387 0 0 25 0 1 0 12129918 28823552 5435 1992294400 4194304 9819077 140733658711152 18446744073709551615 7304786 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13638/statm: 7037 5435 730 1374 0 5658 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 28148 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.16 2/107 13691 /proc/meminfo: memFree=1786336/2059040 swapFree=4136696/4192956 [pid=13638] ppid=13636 vsize=29024 CPUtime=1541.75 /proc/13638/stat : 13638 (pbscip.linux.x8) R 13636 13638 13251 0 -1 4202496 8247094 0 0 0 150670 3505 0 0 25 0 1 0 12129918 29720576 5691 1992294400 4194304 9819077 140733658711152 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13638/statm: 7256 5691 730 1374 0 5877 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 29024 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.14 2/107 13693 /proc/meminfo: memFree=1785592/2059040 swapFree=4136696/4192956 [pid=13638] ppid=13636 vsize=29624 CPUtime=1601.73 /proc/13638/stat : 13638 (pbscip.linux.x8) R 13636 13638 13251 0 -1 4202496 8568052 0 0 0 156531 3642 0 0 25 0 1 0 12129918 30334976 5834 1992294400 4194304 9819077 140733658711152 18446744073709551615 7309049 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13638/statm: 7406 5834 730 1374 0 6027 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 29624 [startup+1662.3 s] /proc/loadavg: 1.04 1.01 1.14 2/107 13695 /proc/meminfo: memFree=1785592/2059040 swapFree=4136696/4192956 [pid=13638] ppid=13636 vsize=29276 CPUtime=1661.71 /proc/13638/stat : 13638 (pbscip.linux.x8) R 13636 13638 13251 0 -1 4202496 8889542 0 0 0 162397 3774 0 0 25 0 1 0 12129918 29978624 5743 1992294400 4194304 9819077 140733658711152 18446744073709551615 6391519 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13638/statm: 7319 5743 730 1374 0 5940 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 29276 [startup+1722.3 s] /proc/loadavg: 1.06 1.02 1.13 2/107 13697 /proc/meminfo: memFree=1785468/2059040 swapFree=4136696/4192956 [pid=13638] ppid=13636 vsize=29628 CPUtime=1721.7 /proc/13638/stat : 13638 (pbscip.linux.x8) R 13636 13638 13251 0 -1 4202496 9211102 0 0 0 168258 3912 0 0 25 0 1 0 12129918 30339072 5831 1992294400 4194304 9819077 140733658711152 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13638/statm: 7407 5831 730 1374 0 6028 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 29628 [startup+1782.3 s] /proc/loadavg: 1.06 1.03 1.12 2/107 13699 /proc/meminfo: memFree=1785468/2059040 swapFree=4136696/4192956 [pid=13638] ppid=13636 vsize=29496 CPUtime=1781.67 /proc/13638/stat : 13638 (pbscip.linux.x8) R 13636 13638 13251 0 -1 4202496 9535668 0 0 0 174122 4045 0 0 25 0 1 0 12129918 30203904 5792 1992294400 4194304 9819077 140733658711152 18446744073709551615 7295968 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13638/statm: 7374 5792 730 1374 0 5995 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 29496 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.11 1.04 1.13 2/107 13699 /proc/meminfo: memFree=1785468/2059040 swapFree=4136696/4192956 [pid=13638] ppid=13636 vsize=28612 CPUtime=1800.08 /proc/13638/stat : 13638 (pbscip.linux.x8) R 13636 13638 13251 0 -1 4202496 9633561 0 0 0 175926 4082 0 0 25 0 1 0 12129918 29298688 5745 1992294400 4194304 9819077 140733658711152 18446744073709551615 7233739 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13638/statm: 7153 5745 730 1374 0 5774 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 28612 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.11 1.04 1.13 2/107 13699 /proc/meminfo: memFree=1785468/2059040 swapFree=4136696/4192956 [pid=13638] ppid=13636 vsize=28612 CPUtime=1800.08 /proc/13638/stat : 13638 (pbscip.linux.x8) R 13636 13638 13251 0 -1 4202496 9633561 0 0 0 175926 4082 0 0 25 0 1 0 12129918 29298688 5745 1992294400 4194304 9819077 140733658711152 18446744073709551615 7233739 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13638/statm: 7153 5745 730 1374 0 5774 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 28612 Child status: 0 Real time (s): 1800.75 CPU time (s): 1800.13 CPU user time (s): 1759.3 CPU system time (s): 40.8318 CPU usage (%): 99.9654 Max. virtual memory (cumulated for all children) (KiB): 33820 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1759.3 system time used= 40.8318 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9633676 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= 1 involuntary context switches= 2372 runsolver used 3.01754 second user time and 8.46371 second system time The end
Begin job on node012 at 2010-06-12 19:54:44 IDJOB=2665481 IDBENCH=1950 IDSOLVER=1168 FILE ID=node012/2665481-1276365284 PBS_JOBID= 11173212 Free space on /tmp= 62412 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665481-1276365284/watcher-2665481-1276365284 -o /tmp/evaluation-result-2665481-1276365284/solver-2665481-1276365284 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665481-1276365284.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9828b7020b058ee74169951dda258843 RANDOM SEED=1133040897 node012.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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1808448 kB Buffers: 47448 kB Cached: 118656 kB SwapCached: 16480 kB Active: 115968 kB Inactive: 69732 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1808448 kB SwapTotal: 4192956 kB SwapFree: 4136696 kB Dirty: 6252 kB Writeback: 0 kB AnonPages: 10764 kB Mapped: 9256 kB Slab: 43156 kB PageTables: 4060 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181692 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= 62404 MiB End job on node012 at 2010-06-12 20:24:46