Download the above graph as a PDF file / as an EPS file
| 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) | 189 | 1800.11 | 1800.85 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb |
| MD5SUM | 19bfc1d5b7087888ef5c79946c60f053 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 188 |
| Best CPU time to get the best result obtained on this benchmark | 1800.17 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 183 |
| Optimality of the best value was proved | NO |
| Number of variables | 473 |
| Total number of constraints | 473 |
| 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 | 473 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 17 |
| Number of terms in the objective function | 473 |
| 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 | 473 |
| 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 | 473 |
| 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-2665482-1276367461.opb>
0.00/0.02 c original problem has 473 variables (473 bin, 0 int, 0 impl, 0 cont) and 473 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.03 o 473
0.00/0.03 c feasible solution found by trivial heuristic, objective value 4.730000e+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, 31 chg coeffs, 0 upgd conss, 2 impls, 0 clqs
0.00/0.05 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 31 chg coeffs, 473 upgd conss, 2 impls, 0 clqs
0.05/0.06 c (round 3) 0 del vars, 0 del conss, 0 chg bounds, 73 chg sides, 249 chg coeffs, 473 upgd conss, 168 impls, 0 clqs
0.05/0.07 c (round 4) 0 del vars, 14 del conss, 0 chg bounds, 159 chg sides, 372 chg coeffs, 473 upgd conss, 168 impls, 0 clqs
0.05/0.07 c (round 5) 0 del vars, 21 del conss, 0 chg bounds, 162 chg sides, 380 chg coeffs, 473 upgd conss, 168 impls, 0 clqs
0.05/0.08 c (round 6) 0 del vars, 21 del conss, 0 chg bounds, 164 chg sides, 382 chg coeffs, 473 upgd conss, 168 impls, 0 clqs
0.05/0.09 c (0.1s) probing: 101/473 (21.4%) - 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, 21 deleted constraints, 0 tightened bounds, 0 added holes, 164 changed sides, 382 changed coefficients
0.05/0.09 c 168 implications, 0 cliques
0.05/0.09 c presolved problem has 473 variables (473 bin, 0 int, 0 impl, 0 cont) and 515 constraints
0.05/0.09 c 456 constraints of type <knapsack>
0.05/0.09 c 56 constraints of type <setppc>
0.05/0.09 c 3 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.04
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.99
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.09 c
0.39/0.45 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.45 c t 0.4s| 1 | 0 | 1026 | - |2542k| 0 | 294 | 473 | 515 | 473 | 515 | 0 | 0 | 0 | 1.452787e+02 | 4.730000e+02 | 225.58%
0.39/0.45 o 314
0.39/0.45 c r 0.4s| 1 | 0 | 1026 | - |2555k| 0 | 294 | 473 | 515 | 473 | 515 | 0 | 0 | 0 | 1.452787e+02 | 3.140000e+02 | 116.14%
0.39/0.46 o 313
0.39/0.46 c R 0.4s| 1 | 0 | 1026 | - |2568k| 0 | 294 | 473 | 515 | 473 | 515 | 0 | 0 | 0 | 1.452787e+02 | 3.130000e+02 | 115.45%
0.39/0.47 o 312
0.39/0.47 c s 0.4s| 1 | 0 | 1026 | - |2582k| 0 | 294 | 473 | 515 | 473 | 515 | 0 | 0 | 0 | 1.452787e+02 | 3.120000e+02 | 114.76%
1.39/1.46 c 1.4s| 1 | 0 | 1978 | - |2858k| 0 | 354 | 473 | 515 | 473 | 744 | 229 | 0 | 0 | 1.535454e+02 | 3.120000e+02 | 103.20%
1.39/1.46 o 211
1.39/1.46 c b 1.4s| 1 | 0 | 1978 | - |2871k| 0 | 354 | 473 | 515 | 473 | 744 | 229 | 0 | 0 | 1.535454e+02 | 2.110000e+02 | 37.42%
2.59/2.66 c 2.6s| 1 | 0 | 3051 | - |3105k| 0 | 388 | 473 | 515 | 473 | 947 | 432 | 0 | 0 | 1.576750e+02 | 2.110000e+02 | 33.82%
3.89/3.92 c 3.8s| 1 | 0 | 3899 | - |3293k| 0 | 411 | 473 | 515 | 473 |1103 | 588 | 0 | 0 | 1.599387e+02 | 2.110000e+02 | 31.93%
5.29/5.37 c 5.2s| 1 | 0 | 4792 | - |3454k| 0 | 424 | 473 | 515 | 473 |1235 | 720 | 0 | 0 | 1.613309e+02 | 2.110000e+02 | 30.79%
6.68/6.71 c 6.6s| 1 | 0 | 5338 | - |3535k| 0 | 426 | 473 | 515 | 473 |1313 | 798 | 0 | 0 | 1.618974e+02 | 2.110000e+02 | 30.33%
7.99/8.04 c 7.9s| 1 | 0 | 5757 | - |3587k| 0 | 425 | 473 | 515 | 473 |1366 | 851 | 0 | 0 | 1.622719e+02 | 2.110000e+02 | 30.03%
9.29/9.32 c 9.2s| 1 | 0 | 6136 | - |3617k| 0 | 427 | 473 | 515 | 473 |1396 | 881 | 0 | 0 | 1.624988e+02 | 2.110000e+02 | 29.85%
10.49/10.57 c 10.4s| 1 | 0 | 6351 | - |3634k| 0 | 428 | 473 | 515 | 473 |1412 | 897 | 0 | 0 | 1.625455e+02 | 2.110000e+02 | 29.81%
11.69/11.77 c 11.6s| 1 | 0 | 6466 | - |3650k| 0 | 426 | 473 | 515 | 473 |1422 | 907 | 0 | 0 | 1.625592e+02 | 2.110000e+02 | 29.80%
25.08/25.15 c 24.8s| 1 | 2 | 6466 | - |3671k| 0 | 426 | 473 | 515 | 473 |1422 | 907 | 0 | 27 | 1.625592e+02 | 2.110000e+02 | 29.80%
75.15/75.25 o 211
75.15/75.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
75.15/75.25 c c73.8s| 15 | 16 | 20746 |1020.0 |4453k| 14 | - | 473 | 515 | 473 | 989 | 907 | 0 | 241 | 1.630961e+02 | 2.110000e+02 | 29.37%
75.15/75.26 o 210
75.15/75.26 c c73.9s| 15 | 16 | 20758 |1020.9 |4456k| 14 | - | 473 | 515 | 473 | 989 | 907 | 0 | 241 | 1.630961e+02 | 2.100000e+02 | 28.76%
75.15/75.28 o 209
75.15/75.28 c c73.9s| 15 | 16 | 20784 |1022.7 |4467k| 14 | - | 473 | 515 | 473 | 989 | 907 | 0 | 241 | 1.630961e+02 | 2.090000e+02 | 28.15%
75.15/75.28 o 209
75.15/75.28 c c73.9s| 15 | 16 | 20787 |1022.9 |4468k| 14 | - | 473 | 515 | 473 | 989 | 907 | 0 | 241 | 1.630961e+02 | 2.090000e+02 | 28.15%
75.15/75.28 o 207
75.15/75.28 c c73.9s| 15 | 16 | 20789 |1023.1 |4469k| 14 | - | 473 | 515 | 473 | 989 | 907 | 0 | 241 | 1.630961e+02 | 2.070000e+02 | 26.92%
79.06/79.19 o 206
79.06/79.19 c p77.7s| 27 | 28 | 30719 | 932.8 |4545k| 14 | - | 473 | 515 | 473 | 989 | 907 | 0 | 241 | 1.630961e+02 | 2.060000e+02 | 26.31%
79.06/79.19 o 205
79.06/79.19 c p77.7s| 27 | 28 | 30722 | 932.9 |4546k| 14 | - | 473 | 515 | 473 | 989 | 907 | 0 | 241 | 1.630961e+02 | 2.050000e+02 | 25.69%
79.06/79.19 o 203
79.06/79.19 c p77.7s| 27 | 28 | 30723 | 933.0 |4547k| 14 | - | 473 | 515 | 473 | 989 | 907 | 0 | 241 | 1.630961e+02 | 2.030000e+02 | 24.47%
79.06/79.19 o 202
79.06/79.19 c p77.7s| 27 | 28 | 30727 | 933.1 |4549k| 14 | - | 473 | 515 | 473 | 989 | 907 | 0 | 241 | 1.630961e+02 | 2.020000e+02 | 23.85%
79.06/79.20 o 201
79.06/79.20 c p77.7s| 27 | 28 | 30729 | 933.2 |4550k| 14 | - | 473 | 515 | 473 | 989 | 907 | 0 | 241 | 1.630961e+02 | 2.010000e+02 | 23.24%
79.06/79.20 o 200
79.06/79.20 c p77.7s| 27 | 28 | 30731 | 933.3 |4551k| 14 | - | 473 | 515 | 473 | 989 | 907 | 0 | 241 | 1.630961e+02 | 2.000000e+02 | 22.63%
79.06/79.20 o 199
79.06/79.20 c p77.7s| 27 | 28 | 30738 | 933.5 |4553k| 14 | - | 473 | 515 | 473 | 989 | 907 | 0 | 241 | 1.630961e+02 | 1.990000e+02 | 22.01%
79.06/79.20 o 198
79.06/79.20 c p77.7s| 27 | 28 | 30742 | 933.7 |4555k| 14 | - | 473 | 515 | 473 | 989 | 907 | 0 | 241 | 1.630961e+02 | 1.980000e+02 | 21.40%
79.16/79.21 o 198
79.16/79.21 c p77.7s| 27 | 28 | 30748 | 933.9 |4557k| 14 | - | 473 | 515 | 473 | 989 | 907 | 0 | 241 | 1.630961e+02 | 1.980000e+02 | 21.40%
79.16/79.21 o 197
79.16/79.21 c p77.7s| 27 | 28 | 30751 | 934.0 |4559k| 14 | - | 473 | 515 | 473 | 989 | 907 | 0 | 241 | 1.630961e+02 | 1.970000e+02 | 20.79%
167.02/167.19 o 196
167.02/167.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
167.02/167.19 c p 164s| 294 | 295 |233495 | 774.8 |4835k| 27 | - | 473 | 534 | 473 | 989 | 907 | 19 | 328 | 1.630961e+02 | 1.960000e+02 | 20.17%
239.69/239.85 o 196
239.69/239.85 c p 235s| 426 | 427 |412196 | 954.7 |4922k| 27 | - | 473 | 537 | 473 | 989 | 907 | 22 | 394 | 1.631825e+02 | 1.960000e+02 | 20.11%
239.78/239.97 o 194
239.78/239.97 c b 235s| 427 | 428 |412401 | 952.9 |4777k| 27 | 371 | 473 | 537 | 473 | 989 | 907 | 22 | 394 | 1.631825e+02 | 1.940000e+02 | 18.89%
326.15/326.33 o 193
326.15/326.33 c p 319s| 531 | 532 |632030 |1180.3 |5001k| 27 | - | 473 | 543 | 473 | 989 | 907 | 28 | 457 | 1.632149e+02 | 1.930000e+02 | 18.25%
327.15/327.35 o 192
327.15/327.35 c b 320s| 532 | 533 |632296 |1178.6 |4844k| 27 | 397 | 473 | 543 | 473 | 989 | 907 | 28 | 466 | 1.632149e+02 | 1.920000e+02 | 17.64%
418.22/418.44 o 189
418.22/418.44 c C 409s| 732 | 733 |863897 |1173.0 |4961k| 31 | 355 | 473 | 543 | 473 | 989 | 907 | 28 | 535 | 1.633481e+02 | 1.890000e+02 | 15.70%
1800.06/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.81 c
1800.06/1800.81 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.81 c Solving Time (sec) : 1761.49
1800.06/1800.81 c Solving Nodes : 6635
1800.06/1800.81 c Primal Bound : +1.89000000000000e+02 (606 solutions)
1800.06/1800.81 c Dual Bound : +1.64262805326750e+02
1800.06/1800.81 c Gap : 15.06 %
1800.06/1800.82 s SATISFIABLE
1800.06/1800.82 v -x473 x472 -x471 x470 x469 x468 x467 -x466 -x465 -x464 -x463 x462 -x461 x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451
1800.06/1800.82 v -x450 -x449 -x448 x447 x446 -x445 x444 -x443 -x442 -x441 -x440 -x439 -x438 x437 x436 -x435 x434 -x433 -x432 x431 -x430 -x429
1800.06/1800.82 v -x428 -x427 x426 -x425 x424 -x423 -x422 x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 x413 x412 -x411 x410 x409 -x408 -x407
1800.06/1800.82 v -x406 -x405 x404 x403 x402 -x401 x400 x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 x391 -x390 x389 x388 -x387 -x386 -x385
1800.06/1800.82 v -x384 -x383 -x382 x381 x380 -x379 x378 -x377 -x376 -x375 -x374 x373 -x372 -x371 x370 x369 -x368 -x367 -x366 x365 -x364 -x363
1800.06/1800.82 v x362 x361 x360 x359 x358 -x357 x356 -x355 x354 -x353 x352 x351 -x350 x349 x348 -x347 -x346 x345 x344 x343 x342 -x341 -x340
1800.06/1800.82 v x339 -x338 -x337 -x336 -x335 x334 x333 -x332 x331 -x330 -x329 -x328 -x327 -x326 -x325 x324 -x323 -x322 -x321 -x320 -x319 x318
1800.06/1800.82 v x317 x316 x315 -x314 -x313 x312 -x311 -x310 x309 -x308 -x307 x306 x305 -x304 -x303 x302 -x301 x300 x299 x298 x297 -x296 -x295
1800.06/1800.82 v -x294 -x293 x292 x291 -x290 x289 -x288 x287 -x286 -x285 x284 x283 -x282 -x281 -x280 -x279 -x278 x277 x276 x275 -x274 x273
1800.06/1800.82 v -x272 -x271 x270 -x269 -x268 x267 -x266 x265 x264 -x263 x262 -x261 -x260 x259 x258 x257 -x256 x255 -x254 -x253 -x252 x251 x250
1800.06/1800.82 v -x249 -x248 -x247 x246 x245 -x244 x243 -x242 x241 x240 -x239 -x238 x237 x236 -x235 -x234 x233 -x232 -x231 -x230 -x229 -x228
1800.06/1800.82 v x227 -x226 -x225 x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 x214 -x213 -x212 x211 -x210 -x209 x208 x207 x206 x205
1800.06/1800.82 v x204 x203 -x202 -x201 -x200 -x199 -x198 -x197 x196 x195 x194 -x193 -x192 x191 -x190 -x189 x188 -x187 -x186 x185 x184 -x183
1800.06/1800.82 v -x182 -x181 -x180 -x179 x178 -x177 x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 x163 x162 -x161
1800.06/1800.82 v x160 -x159 -x158 -x157 -x156 x155 x154 -x153 -x152 -x151 x150 -x149 x148 -x147 x146 -x145 -x144 x143 x142 x141 -x140 x139
1800.06/1800.82 v x138 x137 -x136 -x135 x134 -x133 x132 -x131 x130 -x129 -x128 x127 x126 -x125 -x124 x123 -x122 -x121 -x120 x119 -x118 x117 x116
1800.06/1800.82 v -x115 -x114 x113 -x112 x111 x110 -x109 -x108 -x107 -x106 -x105 x104 -x103 x102 x101 -x100 -x99 -x98 -x97 x96 -x95 x94 x93
1800.06/1800.82 v x92 x91 -x90 x89 -x88 -x87 x86 -x85 -x84 x83 -x82 x81 -x80 x79 -x78 x77 x76 -x75 x74 x73 -x72 -x71 x70 -x69 x68 -x67 x66 -x65
1800.06/1800.82 v -x64 x63 -x62 x61 -x60 -x59 -x58 -x57 x56 -x55 -x54 -x53 x52 x51 x50 x49 x48 -x47 x46 -x45 -x44 x43 -x42 -x41 -x40 x39 -x38
1800.06/1800.82 v x37 x36 -x35 x34 x33 -x32 -x31 -x30 -x29 -x28 x27 -x26 -x25 -x24 -x23 -x22 x21 -x20 -x19 -x18 x17 x16 -x15 -x14 x13 x12 -x11
1800.06/1800.82 v -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 x2 -x1
1800.06/1800.82 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.82 c Solving Time : 1761.49
1800.06/1800.82 c Original Problem :
1800.06/1800.82 c Problem name : HOME/instance-2665482-1276367461.opb
1800.06/1800.82 c Variables : 473 (473 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.82 c Constraints : 473 initial, 473 maximal
1800.06/1800.82 c Presolved Problem :
1800.06/1800.82 c Problem name : t_HOME/instance-2665482-1276367461.opb
1800.06/1800.82 c Variables : 473 (473 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.82 c Constraints : 515 initial, 583 maximal
1800.06/1800.82 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.82 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.82 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.82 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.82 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.82 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.82 c probing : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.82 c knapsack : 0.02 0 0 0 0 0 14 164 351
1800.06/1800.82 c setppc : 0.00 0 0 0 0 0 7 0 0
1800.06/1800.82 c linear : 0.02 0 0 0 0 0 0 0 31
1800.06/1800.82 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.82 c root node : - 0 - - 0 - - - -
1800.06/1800.82 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.82 c integral : 0 0 0 6635 0 0 0 0 0 13270
1800.06/1800.82 c knapsack : 456 10 81619 0 0 0 2937 928 0 0
1800.06/1800.82 c setppc : 56 10 81605 0 0 0 735 0 0 0
1800.06/1800.82 c logicor : 3+ 10 7380 0 0 0 0 0 0 0
1800.06/1800.82 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.82 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.82 c integral : 164.72 0.00 0.00 164.72 0.00
1800.06/1800.82 c knapsack : 3.93 0.08 3.85 0.00 0.00
1800.06/1800.82 c setppc : 0.34 0.00 0.34 0.00 0.00
1800.06/1800.82 c logicor : 0.03 0.00 0.03 0.00 0.00
1800.06/1800.82 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.82 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.82 c vbounds : 0.09 2 0 0
1800.06/1800.82 c rootredcost : 0.03 17 0 0
1800.06/1800.82 c pseudoobj : 1.92 81916 0 0
1800.06/1800.82 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.82 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.82 c infeasible LP : 0.00 68 68 68 3.8 0 0.0 0
1800.06/1800.82 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.82 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.82 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.82 c applied globally : - - - 68 3.8 - - -
1800.06/1800.82 c applied locally : - - - 0 0.0 - - -
1800.06/1800.82 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.82 c cut pool : 0.00 9 - - 386 - (maximal pool size: 1687)
1800.06/1800.82 c redcost : 0.11 6644 0 0 0 0
1800.06/1800.82 c impliedbounds : 0.00 10 0 0 52 0
1800.06/1800.82 c intobj : 0.00 0 0 0 0 0
1800.06/1800.82 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.82 c gomory : 3.67 10 0 0 1 0
1800.06/1800.82 c strongcg : 3.41 10 0 0 1 0
1800.06/1800.82 c cmir : 0.66 10 0 0 1049 0
1800.06/1800.82 c flowcover : 0.69 10 0 0 1134 0
1800.06/1800.82 c clique : 0.00 1 0 0 0 0
1800.06/1800.82 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.82 c mcf : 0.00 1 0 0 0 0
1800.06/1800.82 c rapidlearning : 0.07 1 0 0 0 0
1800.06/1800.82 c Pricers : Time Calls Vars
1800.06/1800.82 c problem variables: 0.00 0 0
1800.06/1800.82 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.82 c relpscost : 164.69 6635 0 0 0 0 13270
1800.06/1800.82 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.82 c inference : 0.00 0 0 0 0 0 0
1800.06/1800.82 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.82 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.82 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.82 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.82 c random : 0.00 0 0 0 0 0 0
1800.06/1800.82 c Primal Heuristics : Time Calls Found
1800.06/1800.82 c LP solutions : 0.00 - 0
1800.06/1800.82 c pseudo solutions : 0.00 - 0
1800.06/1800.82 c intshifting : 0.00 0 0
1800.06/1800.82 c oneopt : 0.00 10 3
1800.06/1800.82 c fracdiving : 46.99 18 0
1800.06/1800.82 c coefdiving : 220.37 76 187
1800.06/1800.82 c pscostdiving : 342.47 144 266
1800.06/1800.82 c trivial : 0.01 2 3
1800.06/1800.82 c simplerounding : 0.53 6644 24
1800.06/1800.82 c zirounding : 1.04 1251 25
1800.06/1800.82 c rounding : 20.25 3415 1
1800.06/1800.82 c shifting : 4.22 663 1
1800.06/1800.82 c twoopt : 0.00 0 0
1800.06/1800.82 c fixandinfer : 0.00 0 0
1800.06/1800.82 c feaspump : 0.00 0 0
1800.06/1800.82 c veclendiving : 80.34 32 66
1800.06/1800.82 c intdiving : 0.00 0 0
1800.06/1800.82 c actconsdiving : 0.00 0 0
1800.06/1800.82 c objpscostdiving : 28.41 3 0
1800.06/1800.82 c rootsoldiving : 4.92 10 0
1800.06/1800.82 c linesearchdiving : 67.96 33 28
1800.06/1800.82 c guideddiving : 49.31 17 0
1800.06/1800.82 c octane : 0.00 0 0
1800.06/1800.82 c rens : 0.00 0 0
1800.06/1800.82 c rins : 0.00 0 0
1800.06/1800.82 c localbranching : 0.00 0 0
1800.06/1800.82 c mutation : 0.00 0 0
1800.06/1800.82 c crossover : 0.84 2 2
1800.06/1800.82 c dins : 0.00 0 0
1800.06/1800.82 c undercover : 0.00 0 0
1800.06/1800.82 c nlp : 0.02 0 0
1800.06/1800.82 c trysol : 0.01 0 0
1800.06/1800.82 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.82 c primal LP : 0.01 0 0 0.00 0.00
1800.06/1800.82 c dual LP : 715.45 6651 1705571 256.44 2383.91
1800.06/1800.82 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.82 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.82 c diving/probing LP: 816.28 50743 2497279 49.21 3059.34
1800.06/1800.82 c strong branching : 163.27 1419 403934 284.66 2474.02
1800.06/1800.82 c (at root node) : - 27 22664 839.41 -
1800.06/1800.82 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.82 c B&B Tree :
1800.06/1800.82 c number of runs : 1
1800.06/1800.82 c nodes : 6635
1800.06/1800.82 c nodes (total) : 6635
1800.06/1800.82 c nodes left : 6636
1800.06/1800.82 c max depth : 97
1800.06/1800.82 c max depth (total): 97
1800.06/1800.82 c backtracks : 854 (12.9%)
1800.06/1800.82 c delayed cutoffs : 0
1800.06/1800.82 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.06/1800.82 c avg switch length: 3.89
1800.06/1800.82 c switching time : 0.53
1800.06/1800.82 c Solution :
1800.06/1800.82 c Solutions found : 606 (26 improvements)
1800.06/1800.82 c First Solution : +4.73000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.06/1800.82 c Primal Bound : +1.89000000000000e+02 (in run 1, after 732 nodes, 409.16 seconds, depth 19, found by <crossover>)
1800.06/1800.82 c Dual Bound : +1.64262805326750e+02
1800.06/1800.82 c Gap : 15.06 %
1800.06/1800.82 c Root Dual Bound : +1.62559241720700e+02
1800.06/1800.82 c Root Iterations : 6466
1800.06/1800.84 c Time complete: 1800.1.
OK 189
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665482-1276367461/watcher-2665482-1276367461 -o /tmp/evaluation-result-2665482-1276367461/solver-2665482-1276367461 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665482-1276367461.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: 0.93 0.99 0.99 3/106 13738 /proc/meminfo: memFree=1575584/2059040 swapFree=4192956/4192956 [pid=13738] ppid=13736 vsize=9288 CPUtime=0 /proc/13738/stat : 13738 (pbscip.linux.x8) R 13736 13738 13620 0 -1 4202496 1032 0 0 0 0 0 0 0 18 0 1 0 12347770 9510912 952 1992294400 4194304 9819077 140735997904544 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13738/statm: 2322 960 371 1374 0 943 0 [startup+0.055699 s] /proc/loadavg: 0.93 0.99 0.99 3/106 13738 /proc/meminfo: memFree=1575584/2059040 swapFree=4192956/4192956 [pid=13738] ppid=13736 vsize=15720 CPUtime=0.05 /proc/13738/stat : 13738 (pbscip.linux.x8) R 13736 13738 13620 0 -1 4202496 3580 0 0 0 4 1 0 0 21 0 1 0 12347770 16097280 2632 1992294400 4194304 9819077 140735997904544 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13738/statm: 3930 2632 506 1374 0 2551 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 15720 [startup+0.100708 s] /proc/loadavg: 0.93 0.99 0.99 3/106 13738 /proc/meminfo: memFree=1575584/2059040 swapFree=4192956/4192956 [pid=13738] ppid=13736 vsize=17152 CPUtime=0.09 /proc/13738/stat : 13738 (pbscip.linux.x8) R 13736 13738 13620 0 -1 4202496 6080 0 0 0 7 2 0 0 21 0 1 0 12347770 17563648 3076 1992294400 4194304 9819077 140735997904544 18446744073709551615 6031315 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13738/statm: 4288 3077 571 1374 0 2909 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17152 [startup+0.300751 s] /proc/loadavg: 0.93 0.99 0.99 3/106 13738 /proc/meminfo: memFree=1575584/2059040 swapFree=4192956/4192956 [pid=13738] ppid=13736 vsize=19660 CPUtime=0.29 /proc/13738/stat : 13738 (pbscip.linux.x8) R 13736 13738 13620 0 -1 4202496 7085 0 0 0 26 3 0 0 21 0 1 0 12347770 20131840 3418 1992294400 4194304 9819077 140735997904544 18446744073709551615 6512900 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13738/statm: 4915 3418 642 1374 0 3536 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19660 [startup+0.700835 s] /proc/loadavg: 0.93 0.99 0.99 3/106 13738 /proc/meminfo: memFree=1575584/2059040 swapFree=4192956/4192956 [pid=13738] ppid=13736 vsize=19820 CPUtime=0.69 /proc/13738/stat : 13738 (pbscip.linux.x8) R 13736 13738 13620 0 -1 4202496 7778 0 0 0 66 3 0 0 22 0 1 0 12347770 20295680 3458 1992294400 4194304 9819077 140735997904544 18446744073709551615 6055460 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13738/statm: 4955 3458 660 1374 0 3576 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19820 [startup+1.50101 s] /proc/loadavg: 0.93 0.99 0.99 2/107 13739 /proc/meminfo: memFree=1563424/2059040 swapFree=4192956/4192956 [pid=13738] ppid=13736 vsize=20892 CPUtime=1.49 /proc/13738/stat : 13738 (pbscip.linux.x8) R 13736 13738 13620 0 -1 4202496 17376 0 0 0 142 7 0 0 25 0 1 0 12347770 21393408 3648 1992294400 4194304 9819077 140735997904544 18446744073709551615 6047879 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13738/statm: 5223 3648 692 1374 0 3844 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20892 [startup+3.10135 s] /proc/loadavg: 0.93 0.99 0.99 2/107 13739 /proc/meminfo: memFree=1563052/2059040 swapFree=4192956/4192956 [pid=13738] ppid=13736 vsize=21216 CPUtime=3.09 /proc/13738/stat : 13738 (pbscip.linux.x8) R 13736 13738 13620 0 -1 4202496 20561 0 0 0 300 9 0 0 25 0 1 0 12347770 21725184 3691 1992294400 4194304 9819077 140735997904544 18446744073709551615 6055460 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13738/statm: 5304 3691 692 1374 0 3925 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21216 [startup+6.30103 s] /proc/loadavg: 0.94 0.99 0.99 2/107 13739 /proc/meminfo: memFree=1561688/2059040 swapFree=4192956/4192956 [pid=13738] ppid=13736 vsize=22996 CPUtime=6.29 /proc/13738/stat : 13738 (pbscip.linux.x8) R 13736 13738 13620 0 -1 4202496 26235 0 0 0 618 11 0 0 25 0 1 0 12347770 23547904 4026 1992294400 4194304 9819077 140735997904544 18446744073709551615 5727800 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13738/statm: 5749 4026 692 1374 0 4370 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22996 [startup+12.7014 s] /proc/loadavg: 0.94 0.99 0.99 2/107 13739 /proc/meminfo: memFree=1561440/2059040 swapFree=4192956/4192956 [pid=13738] ppid=13736 vsize=23504 CPUtime=12.69 /proc/13738/stat : 13738 (pbscip.linux.x8) R 13736 13738 13620 0 -1 4202496 31823 0 0 0 1253 16 0 0 25 0 1 0 12347770 24068096 4094 1992294400 4194304 9819077 140735997904544 18446744073709551615 5721531 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13738/statm: 5876 4094 692 1374 0 4497 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 23504 [startup+25.5011 s] /proc/loadavg: 0.95 0.99 0.99 2/107 13739 /proc/meminfo: memFree=1561564/2059040 swapFree=4192956/4192956 [pid=13738] ppid=13736 vsize=25472 CPUtime=25.48 /proc/13738/stat : 13738 (pbscip.linux.x8) R 13736 13738 13620 0 -1 4202496 89263 0 0 0 2512 36 0 0 25 0 1 0 12347770 26083328 4143 1992294400 4194304 9819077 140735997904544 18446744073709551615 7312750 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13738/statm: 6368 4143 706 1374 0 4989 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 25472 [startup+51.1006 s] /proc/loadavg: 0.97 0.99 0.99 2/107 13741 /proc/meminfo: memFree=1561068/2059040 swapFree=4192956/4192956 [pid=13738] ppid=13736 vsize=25584 CPUtime=51.06 /proc/13738/stat : 13738 (pbscip.linux.x8) R 13736 13738 13620 0 -1 4202496 227331 0 0 0 5017 89 0 0 25 0 1 0 12347770 26198016 4182 1992294400 4194304 9819077 140735997904544 18446744073709551615 6190584 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13738/statm: 6396 4182 706 1374 0 5017 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 25584 [startup+102.308 s] /proc/loadavg: 0.98 0.99 0.99 2/107 13741 /proc/meminfo: memFree=1560572/2059040 swapFree=4192956/4192956 [pid=13738] ppid=13736 vsize=23468 CPUtime=102.25 /proc/13738/stat : 13738 (pbscip.linux.x8) R 13736 13738 13620 0 -1 4202496 491200 0 0 0 10035 190 0 0 25 0 1 0 12347770 24031232 4293 1992294400 4194304 9819077 140735997904544 18446744073709551615 6230075 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13738/statm: 5867 4293 710 1374 0 4488 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 23468 [startup+162.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 13743 /proc/meminfo: memFree=1560448/2059040 swapFree=4192956/4192956 [pid=13738] ppid=13736 vsize=23564 CPUtime=162.22 /proc/13738/stat : 13738 (pbscip.linux.x8) R 13736 13738 13620 0 -1 4202496 799147 0 0 0 15900 322 0 0 25 0 1 0 12347770 24129536 4316 1992294400 4194304 9819077 140735997904544 18446744073709551615 7304801 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13738/statm: 5891 4318 711 1374 0 4512 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 23564 [startup+222.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 13745 /proc/meminfo: memFree=1560076/2059040 swapFree=4192956/4192956 [pid=13738] ppid=13736 vsize=24032 CPUtime=222.2 /proc/13738/stat : 13738 (pbscip.linux.x8) R 13736 13738 13620 0 -1 4202496 1104551 0 0 0 21767 453 0 0 25 0 1 0 12347770 24608768 4384 1992294400 4194304 9819077 140735997904544 18446744073709551615 5430347 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13738/statm: 6008 4384 711 1374 0 4629 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 24032 [startup+282.302 s] /proc/loadavg: 0.99 0.99 0.99 2/107 13747 /proc/meminfo: memFree=1559952/2059040 swapFree=4192956/4192956 [pid=13738] ppid=13736 vsize=23712 CPUtime=282.17 /proc/13738/stat : 13738 (pbscip.linux.x8) R 13736 13738 13620 0 -1 4202496 1426640 0 0 0 27627 590 0 0 25 0 1 0 12347770 24281088 4343 1992294400 4194304 9819077 140735997904544 18446744073709551615 7292017 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13738/statm: 5928 4343 711 1374 0 4549 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 23712 [startup+342.302 s] /proc/loadavg: 0.99 0.99 0.99 2/107 13747 /proc/meminfo: memFree=1559952/2059040 swapFree=4192956/4192956 [pid=13738] ppid=13736 vsize=24000 CPUtime=342.15 /proc/13738/stat : 13738 (pbscip.linux.x8) R 13736 13738 13620 0 -1 4202496 1741170 0 0 0 33487 728 0 0 25 0 1 0 12347770 24576000 4430 1992294400 4194304 9819077 140735997904544 18446744073709551615 6391486 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13738/statm: 6000 4430 711 1374 0 4621 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 24000 [startup+402.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 13749 /proc/meminfo: memFree=1559828/2059040 swapFree=4192956/4192956 [pid=13738] ppid=13736 vsize=23936 CPUtime=402.12 /proc/13738/stat : 13738 (pbscip.linux.x8) R 13736 13738 13620 0 -1 4202496 2061586 0 0 0 39344 868 0 0 25 0 1 0 12347770 24510464 4392 1992294400 4194304 9819077 140735997904544 18446744073709551615 6391606 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13738/statm: 5984 4392 711 1374 0 4605 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 23936 [startup+462.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 13751 /proc/meminfo: memFree=1559952/2059040 swapFree=4192956/4192956 [pid=13738] ppid=13736 vsize=23840 CPUtime=462.1 /proc/13738/stat : 13738 (pbscip.linux.x8) R 13736 13738 13620 0 -1 4202496 2394272 0 0 0 45188 1022 0 0 25 0 1 0 12347770 24412160 4397 1992294400 4194304 9819077 140735997904544 18446744073709551615 7295881 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13738/statm: 5960 4397 716 1374 0 4581 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 23840 [startup+522.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 13753 /proc/meminfo: memFree=1559828/2059040 swapFree=4192956/4192956 [pid=13738] ppid=13736 vsize=23680 CPUtime=522.08 /proc/13738/stat : 13738 (pbscip.linux.x8) R 13736 13738 13620 0 -1 4202496 2728013 0 0 0 51031 1177 0 0 25 0 1 0 12347770 24248320 4411 1992294400 4194304 9819077 140735997904544 18446744073709551615 6391565 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13738/statm: 5920 4411 725 1374 0 4541 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 23680 [startup+582.302 s] /proc/loadavg: 0.99 0.99 0.99 2/107 13755 /proc/meminfo: memFree=1559580/2059040 swapFree=4192956/4192956 [pid=13738] ppid=13736 vsize=23428 CPUtime=582.05 /proc/13738/stat : 13738 (pbscip.linux.x8) R 13736 13738 13620 0 -1 4202496 3039482 0 0 0 56896 1309 0 0 25 0 1 0 12347770 23990272 4438 1992294400 4194304 9819077 140735997904544 18446744073709551615 7228640 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13738/statm: 5857 4439 731 1374 0 4478 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 23428 [startup+642.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 13755 /proc/meminfo: memFree=1559580/2059040 swapFree=4192956/4192956 [pid=13738] ppid=13736 vsize=24180 CPUtime=642.03 /proc/13738/stat : 13738 (pbscip.linux.x8) R 13736 13738 13620 0 -1 4202496 3329723 0 0 0 62772 1431 0 0 25 0 1 0 12347770 24760320 4514 1992294400 4194304 9819077 140735997904544 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13738/statm: 6045 4514 731 1374 0 4666 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 24180 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 13761 /proc/meminfo: memFree=1558216/2059040 swapFree=4192956/4192956 [pid=13738] ppid=13736 vsize=25100 CPUtime=821.96 /proc/13738/stat : 13738 (pbscip.linux.x8) R 13736 13738 13620 0 -1 4202496 4267009 0 0 0 80363 1833 0 0 25 0 1 0 12347770 25702400 4734 1992294400 4194304 9819077 140735997904544 18446744073709551615 6656806 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13738/statm: 6275 4734 731 1374 0 4896 0 Current children cumulated CPU time (s) 821.96 Current children cumulated vsize (KiB) 25100 [startup+882.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 13763 /proc/meminfo: memFree=1558092/2059040 swapFree=4192956/4192956 [pid=13738] ppid=13736 vsize=25568 CPUtime=881.93 /proc/13738/stat : 13738 (pbscip.linux.x8) R 13736 13738 13620 0 -1 4202496 4580867 0 0 0 86231 1962 0 0 25 0 1 0 12347770 26181632 4827 1992294400 4194304 9819077 140735997904544 18446744073709551615 7308931 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13738/statm: 6392 4827 731 1374 0 5013 0 Current children cumulated CPU time (s) 881.93 Current children cumulated vsize (KiB) 25568 [startup+942.301 s] /proc/loadavg: 1.04 1.00 1.00 2/107 13763 /proc/meminfo: memFree=1557968/2059040 swapFree=4192956/4192956 [pid=13738] ppid=13736 vsize=25696 CPUtime=941.91 /proc/13738/stat : 13738 (pbscip.linux.x8) R 13736 13738 13620 0 -1 4202496 4898985 0 0 0 92091 2100 0 0 25 0 1 0 12347770 26312704 4894 1992294400 4194304 9819077 140735997904544 18446744073709551615 6391490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13738/statm: 6424 4894 731 1374 0 5045 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 25696 [startup+1002.3 s] /proc/loadavg: 1.01 1.00 1.00 2/107 13765 /proc/meminfo: memFree=1557472/2059040 swapFree=4192956/4192956 [pid=13738] ppid=13736 vsize=28696 CPUtime=1001.88 /proc/13738/stat : 13738 (pbscip.linux.x8) R 13736 13738 13620 0 -1 4202496 5198399 0 0 0 97959 2229 0 0 25 0 1 0 12347770 29384704 4990 1992294400 4194304 9819077 140735997904544 18446744073709551615 6391593 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13738/statm: 7174 4990 731 1374 0 5795 0 Current children cumulated CPU time (s) 1001.88 Current children cumulated vsize (KiB) 28696 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13767 /proc/meminfo: memFree=1557224/2059040 swapFree=4192956/4192956 [pid=13738] ppid=13736 vsize=26108 CPUtime=1061.86 /proc/13738/stat : 13738 (pbscip.linux.x8) R 13736 13738 13620 0 -1 4202496 5481422 0 0 0 103835 2351 0 0 25 0 1 0 12347770 26734592 4985 1992294400 4194304 9819077 140735997904544 18446744073709551615 6191195 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13738/statm: 6527 4985 731 1374 0 5148 0 Current children cumulated CPU time (s) 1061.86 Current children cumulated vsize (KiB) 26108 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13769 /proc/meminfo: memFree=1557100/2059040 swapFree=4192956/4192956 [pid=13738] ppid=13736 vsize=26336 CPUtime=1121.83 /proc/13738/stat : 13738 (pbscip.linux.x8) R 13736 13738 13620 0 -1 4202496 5765033 0 0 0 109704 2479 0 0 25 0 1 0 12347770 26968064 5047 1992294400 4194304 9819077 140735997904544 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13738/statm: 6584 5047 731 1374 0 5205 0 Current children cumulated CPU time (s) 1121.83 Current children cumulated vsize (KiB) 26336 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13771 /proc/meminfo: memFree=1557100/2059040 swapFree=4192956/4192956 [pid=13738] ppid=13736 vsize=26128 CPUtime=1181.81 /proc/13738/stat : 13738 (pbscip.linux.x8) R 13736 13738 13620 0 -1 4202496 6047261 0 0 0 115580 2601 0 0 25 0 1 0 12347770 26755072 5021 1992294400 4194304 9819077 140735997904544 18446744073709551615 7304830 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13738/statm: 6532 5021 731 1374 0 5153 0 Current children cumulated CPU time (s) 1181.81 Current children cumulated vsize (KiB) 26128 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13771 /proc/meminfo: memFree=1556976/2059040 swapFree=4192956/4192956 [pid=13738] ppid=13736 vsize=26188 CPUtime=1241.79 /proc/13738/stat : 13738 (pbscip.linux.x8) R 13736 13738 13620 0 -1 4202496 6334939 0 0 0 121450 2729 0 0 25 0 1 0 12347770 26816512 5018 1992294400 4194304 9819077 140735997904544 18446744073709551615 6192232 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13738/statm: 6547 5018 731 1374 0 5168 0 Current children cumulated CPU time (s) 1241.79 Current children cumulated vsize (KiB) 26188 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13773 /proc/meminfo: memFree=1555736/2059040 swapFree=4192956/4192956 [pid=13738] ppid=13736 vsize=27544 CPUtime=1301.77 /proc/13738/stat : 13738 (pbscip.linux.x8) R 13736 13738 13620 0 -1 4202496 6616037 0 0 0 127323 2854 0 0 25 0 1 0 12347770 28205056 5358 1992294400 4194304 9819077 140735997904544 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13738/statm: 6886 5358 731 1374 0 5507 0 Current children cumulated CPU time (s) 1301.77 Current children cumulated vsize (KiB) 27544 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13775 /proc/meminfo: memFree=1555736/2059040 swapFree=4192956/4192956 [pid=13738] ppid=13736 vsize=27392 CPUtime=1361.74 /proc/13738/stat : 13738 (pbscip.linux.x8) R 13736 13738 13620 0 -1 4202496 6900108 0 0 0 133196 2978 0 0 25 0 1 0 12347770 28049408 5318 1992294400 4194304 9819077 140735997904544 18446744073709551615 7290563 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13738/statm: 6848 5318 731 1374 0 5469 0 Current children cumulated CPU time (s) 1361.74 Current children cumulated vsize (KiB) 27392 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13777 /proc/meminfo: memFree=1555364/2059040 swapFree=4192956/4192956 [pid=13738] ppid=13736 vsize=28000 CPUtime=1421.73 /proc/13738/stat : 13738 (pbscip.linux.x8) R 13736 13738 13620 0 -1 4202496 7183749 0 0 0 139073 3100 0 0 25 0 1 0 12347770 28672000 5486 1992294400 4194304 9819077 140735997904544 18446744073709551615 7297860 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13738/statm: 7000 5486 731 1374 0 5621 0 Current children cumulated CPU time (s) 1421.73 Current children cumulated vsize (KiB) 28000 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13779 /proc/meminfo: memFree=1555240/2059040 swapFree=4192956/4192956 [pid=13738] ppid=13736 vsize=27936 CPUtime=1481.69 /proc/13738/stat : 13738 (pbscip.linux.x8) R 13736 13738 13620 0 -1 4202496 7467023 0 0 0 144948 3221 0 0 25 0 1 0 12347770 28606464 5465 1992294400 4194304 9819077 140735997904544 18446744073709551615 7301603 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13738/statm: 6984 5465 731 1374 0 5605 0 Current children cumulated CPU time (s) 1481.69 Current children cumulated vsize (KiB) 27936 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13779 /proc/meminfo: memFree=1554992/2059040 swapFree=4192956/4192956 [pid=13738] ppid=13736 vsize=28320 CPUtime=1541.67 /proc/13738/stat : 13738 (pbscip.linux.x8) R 13736 13738 13620 0 -1 4202496 7750284 0 0 0 150824 3343 0 0 25 0 1 0 12347770 28999680 5563 1992294400 4194304 9819077 140735997904544 18446744073709551615 6192325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13738/statm: 7080 5563 731 1374 0 5701 0 Current children cumulated CPU time (s) 1541.67 Current children cumulated vsize (KiB) 28320 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13781 /proc/meminfo: memFree=1554992/2059040 swapFree=4192956/4192956 [pid=13738] ppid=13736 vsize=28324 CPUtime=1601.64 /proc/13738/stat : 13738 (pbscip.linux.x8) R 13736 13738 13620 0 -1 4202496 8033108 0 0 0 156701 3463 0 0 25 0 1 0 12347770 29003776 5593 1992294400 4194304 9819077 140735997904544 18446744073709551615 6191195 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13738/statm: 7081 5593 731 1374 0 5702 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 28324 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13783 /proc/meminfo: memFree=1554124/2059040 swapFree=4192956/4192956 [pid=13738] ppid=13736 vsize=31744 CPUtime=1661.62 /proc/13738/stat : 13738 (pbscip.linux.x8) R 13736 13738 13620 0 -1 4202496 8317808 0 0 0 162575 3587 0 0 25 0 1 0 12347770 32505856 5796 1992294400 4194304 9819077 140735997904544 18446744073709551615 7291721 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13738/statm: 7936 5796 731 1374 0 6557 0 Current children cumulated CPU time (s) 1661.62 Current children cumulated vsize (KiB) 31744 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13785 /proc/meminfo: memFree=1553752/2059040 swapFree=4192956/4192956 [pid=13738] ppid=13736 vsize=28608 CPUtime=1721.6 /proc/13738/stat : 13738 (pbscip.linux.x8) R 13736 13738 13620 0 -1 4202496 8597422 0 0 0 168457 3703 0 0 25 0 1 0 12347770 29294592 5779 1992294400 4194304 9819077 140735997904544 18446744073709551615 7212342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13738/statm: 7152 5782 731 1374 0 5773 0 Current children cumulated CPU time (s) 1721.6 Current children cumulated vsize (KiB) 28608 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13787 /proc/meminfo: memFree=1553628/2059040 swapFree=4192956/4192956 [pid=13738] ppid=13736 vsize=29448 CPUtime=1781.57 /proc/13738/stat : 13738 (pbscip.linux.x8) R 13736 13738 13620 0 -1 4202496 8876147 0 0 0 174337 3820 0 0 25 0 1 0 12347770 30154752 5863 1992294400 4194304 9819077 140735997904544 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13738/statm: 7362 5863 731 1374 0 5983 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (KiB) 29448 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13796 /proc/meminfo: memFree=1553008/2059040 swapFree=4192956/4192956 [pid=13738] ppid=13736 vsize=29504 CPUtime=1800.06 /proc/13738/stat : 13738 (pbscip.linux.x8) R 13736 13738 13620 0 -1 4202496 8965124 0 0 0 176149 3857 0 0 25 0 1 0 12347770 30212096 5854 1992294400 4194304 9819077 140735997904544 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13738/statm: 7376 5854 731 1374 0 5997 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 29504 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.85 CPU time (s): 1800.11 CPU user time (s): 1761.53 CPU system time (s): 38.5831 CPU usage (%): 99.9593 Max. virtual memory (cumulated for all children) (KiB): 35540 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1761.53 system time used= 38.5831 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8965227 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= 1606 runsolver used 3.36349 second user time and 8.11876 second system time The end
Begin job on node010 at 2010-06-12 20:31:01 IDJOB=2665482 IDBENCH=1953 IDSOLVER=1168 FILE ID=node010/2665482-1276367461 PBS_JOBID= 11173226 Free space on /tmp= 62500 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_11.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-2665482-1276367461/watcher-2665482-1276367461 -o /tmp/evaluation-result-2665482-1276367461/solver-2665482-1276367461 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665482-1276367461.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 19bfc1d5b7087888ef5c79946c60f053 RANDOM SEED=526603137 node010.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.267 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.53 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.267 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1576236 kB Buffers: 129164 kB Cached: 223420 kB SwapCached: 0 kB Active: 158944 kB Inactive: 252844 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1576236 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6224 kB Writeback: 0 kB AnonPages: 59220 kB Mapped: 15436 kB Slab: 49260 kB PageTables: 4028 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183004 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= 62492 MiB End job on node010 at 2010-06-12 21:01:04