Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 6 | 1800.1 | 1800.67 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_3.opb |
MD5SUM | 455599f2e36aed56b051b7169c43fa6c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 1782.73 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | YES |
Number of variables | 120 |
Total number of constraints | 10 |
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 | 10 |
Minimum length of a constraint | 55 |
Maximum length of a constraint | 56 |
Number of terms in the objective function | 80 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 2550 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1162 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 3997 |
Number of bits of the biggest sum of numbers | 12 |
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 c Time Limit set via PBTIMEOUT to 1800 0.02 c INFO: OSL Context initialized. 0.02 c Initial problem consists of 120 variables and 10 constraints. 0.02 c No problem reductions applied in OPT. instance. 0.02 c preprocess terminated. Elapsed time: 0.005 0.02 c After prepocess the problem consists of 120 variables and 10 constraints. 0.02 c Initial Lower Bound: 0 0.03 c Restart #1 #Var: 120 LB: 0 @ 0.013 0.05 c Restart #2 #Var: 120 LB: 0 @ 0.033 0.07 c Restart #3 #Var: 120 LB: 0 @ 0.06 0.12 c Restart #4 #Var: 120 LB: 0 @ 0.101 0.17 c Restart #5 #Var: 120 LB: 0 @ 0.155 0.22 c Restart #6 #Var: 120 LB: 0 @ 0.204 0.30 c Restart #7 #Var: 120 LB: 0 @ 0.287 0.34 c Sol. found (all assignments made)... 0.34 o 1085 0.34 c NEW SOLUTION FOUND: 1085 @ 0.327 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 o 957 0.34 c NEW SOLUTION FOUND: 957 @ 0.327 0.34 c Sol. found (all assignments made)... 0.34 o 893 0.34 c NEW SOLUTION FOUND: 893 @ 0.328 0.34 c Sol. found (all assignments made)... 0.34 o 861 0.34 c NEW SOLUTION FOUND: 861 @ 0.328 0.34 c Sol. found (all assignments made)... 0.34 o 845 0.34 c NEW SOLUTION FOUND: 845 @ 0.33 0.40 c Restart #8 #Var: 120 LB: 0 @ 0.385 0.47 c Sol. found (all assignments made)... 0.47 o 702 0.47 c NEW SOLUTION FOUND: 702 @ 0.46 0.47 c Sol. found (all assignments made)... 0.47 o 638 0.47 c NEW SOLUTION FOUND: 638 @ 0.46 0.48 c Sol. found (all assignments made)... 0.48 o 606 0.48 c NEW SOLUTION FOUND: 606 @ 0.462 0.48 c Sol. found (all assignments made)... 0.48 o 590 0.48 c NEW SOLUTION FOUND: 590 @ 0.463 0.48 c Sol. found (all assignments made)... 0.48 o 566 0.48 c NEW SOLUTION FOUND: 566 @ 0.469 0.50 c Sol. found (all assignments made)... 0.50 o 562 0.50 c NEW SOLUTION FOUND: 562 @ 0.483 0.50 c Sol. found (all assignments made)... 0.50 o 560 0.50 c NEW SOLUTION FOUND: 560 @ 0.484 0.50 c Sol. found (all assignments made)... 0.50 o 558 0.50 c NEW SOLUTION FOUND: 558 @ 0.486 0.53 c Sol. found (all assignments made)... 0.53 o 554 0.53 c NEW SOLUTION FOUND: 554 @ 0.512 0.53 c Sol. found (all assignments made)... 0.53 o 546 0.53 c NEW SOLUTION FOUND: 546 @ 0.514 0.54 c Sol. found (all assignments made)... 0.54 o 544 0.54 c NEW SOLUTION FOUND: 544 @ 0.524 0.54 c Sol. found (all assignments made)... 0.54 o 542 0.54 c NEW SOLUTION FOUND: 542 @ 0.524 0.54 c Sol. found (all assignments made)... 0.54 o 538 0.54 c NEW SOLUTION FOUND: 538 @ 0.525 0.54 c Sol. found (all assignments made)... 0.54 o 530 0.54 c NEW SOLUTION FOUND: 530 @ 0.527 0.54 c Sol. found (all assignments made)... 0.54 o 528 0.54 c NEW SOLUTION FOUND: 528 @ 0.529 0.54 c Sol. found (all assignments made)... 0.54 o 526 0.54 c NEW SOLUTION FOUND: 526 @ 0.529 0.55 c Sol. found (all assignments made)... 0.55 o 512 0.55 c NEW SOLUTION FOUND: 512 @ 0.535 0.55 c Sol. found (all assignments made)... 0.55 o 510 0.55 c NEW SOLUTION FOUND: 510 @ 0.536 0.55 c Sol. found (all assignments made)... 0.55 o 496 0.55 c NEW SOLUTION FOUND: 496 @ 0.536 0.55 c Sol. found (all assignments made)... 0.55 o 494 0.55 c NEW SOLUTION FOUND: 494 @ 0.537 0.60 c Sol. found (all assignments made)... 0.60 o 482 0.60 c NEW SOLUTION FOUND: 482 @ 0.585 0.60 c Sol. found (all assignments made)... 0.60 o 478 0.60 c NEW SOLUTION FOUND: 478 @ 0.585 0.62 c Sol. found (all assignments made)... 0.62 o 474 0.62 c NEW SOLUTION FOUND: 474 @ 0.603 0.62 c Sol. found (all assignments made)... 0.62 o 470 0.62 c NEW SOLUTION FOUND: 470 @ 0.603 0.65 c Sol. found (all assignments made)... 0.65 o 468 0.65 c NEW SOLUTION FOUND: 468 @ 0.636 0.83 c Restart #9 #Var: 120 LB: 0 @ 0.811 0.93 c Sol. found (all assignments made)... 0.93 o 453 0.93 c NEW SOLUTION FOUND: 453 @ 0.918 0.93 c Sol. found (all assignments made)... 0.93 o 433 0.93 c NEW SOLUTION FOUND: 433 @ 0.92 0.93 c Sol. found (all assignments made)... 0.93 o 431 0.93 c NEW SOLUTION FOUND: 431 @ 0.92 0.93 c Sol. found (all assignments made)... 0.93 o 423 0.93 c NEW SOLUTION FOUND: 423 @ 0.921 0.93 c Sol. found (all assignments made)... 0.93 o 421 0.93 c NEW SOLUTION FOUND: 421 @ 0.921 0.96 c Sol. found (all assignments made)... 0.96 o 407 0.96 c NEW SOLUTION FOUND: 407 @ 0.949 0.96 c Sol. found (all assignments made)... 0.96 o 399 0.96 c NEW SOLUTION FOUND: 399 @ 0.95 0.96 c Sol. found (all assignments made)... 0.96 o 391 0.96 c NEW SOLUTION FOUND: 391 @ 0.951 1.01 c Sol. found (all assignments made)... 1.01 o 383 1.01 c NEW SOLUTION FOUND: 383 @ 0.993 1.01 c Sol. found (all assignments made)... 1.01 o 375 1.01 c NEW SOLUTION FOUND: 375 @ 0.994 1.01 c Sol. found (all assignments made)... 1.01 o 359 1.01 c NEW SOLUTION FOUND: 359 @ 0.996 1.22 c Sol. found (all assignments made)... 1.22 o 357 1.22 c NEW SOLUTION FOUND: 357 @ 1.206 1.24 c Sol. found (all assignments made)... 1.24 o 355 1.24 c NEW SOLUTION FOUND: 355 @ 1.224 1.24 c Sol. found (all assignments made)... 1.24 o 353 1.24 c NEW SOLUTION FOUND: 353 @ 1.226 1.24 c Sol. found (all assignments made)... 1.24 o 351 1.24 c NEW SOLUTION FOUND: 351 @ 1.226 1.25 c Sol. found (all assignments made)... 1.25 o 349 1.25 c NEW SOLUTION FOUND: 349 @ 1.239 1.25 c Sol. found (all assignments made)... 1.25 o 347 1.25 c NEW SOLUTION FOUND: 347 @ 1.24 1.26 c Sol. found (all assignments made)... 1.26 o 345 1.26 c NEW SOLUTION FOUND: 345 @ 1.248 1.26 c Sol. found (all assignments made)... 1.26 o 343 1.26 c NEW SOLUTION FOUND: 343 @ 1.25 1.32 c Sol. found (all assignments made)... 1.32 o 341 1.32 c NEW SOLUTION FOUND: 341 @ 1.309 1.93 c Restart #10 #Var: 120 LB: 0 @ 1.92 2.38 c Sol. found (all assignments made)... 2.38 o 340 2.38 c NEW SOLUTION FOUND: 340 @ 2.368 2.42 c Sol. found (all assignments made)... 2.42 o 338 2.42 c NEW SOLUTION FOUND: 338 @ 2.404 2.42 c Sol. found (all assignments made)... 2.42 o 336 2.42 c NEW SOLUTION FOUND: 336 @ 2.408 2.44 c Sol. found (all assignments made)... 2.44 o 332 2.44 c NEW SOLUTION FOUND: 332 @ 2.423 2.50 c Sol. found (all assignments made)... 2.50 o 330 2.50 c NEW SOLUTION FOUND: 330 @ 2.481 2.50 c Sol. found (all assignments made)... 2.50 o 328 2.50 c NEW SOLUTION FOUND: 328 @ 2.484 2.54 c Sol. found (all assignments made)... 2.54 o 326 2.54 c NEW SOLUTION FOUND: 326 @ 2.522 2.54 c Sol. found (all assignments made)... 2.54 o 324 2.54 c NEW SOLUTION FOUND: 324 @ 2.526 2.60 c Sol. found (all assignments made)... 2.60 o 322 2.60 c NEW SOLUTION FOUND: 322 @ 2.588 2.61 c Sol. found (all assignments made)... 2.61 o 320 2.61 c NEW SOLUTION FOUND: 320 @ 2.593 2.65 c Sol. found (all assignments made)... 2.65 o 300 2.65 c NEW SOLUTION FOUND: 300 @ 2.636 2.65 c Sol. found (all assignments made)... 2.65 o 298 2.65 c NEW SOLUTION FOUND: 298 @ 2.64 2.67 c Sol. found (all assignments made)... 2.67 o 296 2.67 c NEW SOLUTION FOUND: 296 @ 2.659 2.68 c Sol. found (all assignments made)... 2.68 o 294 2.68 c NEW SOLUTION FOUND: 294 @ 2.661 2.70 c Sol. found (all assignments made)... 2.70 o 292 2.70 c NEW SOLUTION FOUND: 292 @ 2.682 2.71 c Sol. found (all assignments made)... 2.71 o 284 2.71 c NEW SOLUTION FOUND: 284 @ 2.699 2.73 c Sol. found (all assignments made)... 2.73 o 280 2.73 c NEW SOLUTION FOUND: 280 @ 2.712 2.75 c Sol. found (all assignments made)... 2.75 o 276 2.75 c NEW SOLUTION FOUND: 276 @ 2.736 2.77 c Sol. found (all assignments made)... 2.77 o 272 2.77 c NEW SOLUTION FOUND: 272 @ 2.753 4.13 c Restart #11 #Var: 120 LB: 0 @ 4.11 4.67 c Restart #12 #Var: 120 LB: 0 @ 4.652 4.95 c Restart #13 #Var: 120 LB: 0 @ 4.935 5.71 c Restart #14 #Var: 120 LB: 0 @ 5.687 6.39 c Sol. found (all assignments made)... 6.39 o 270 6.39 c NEW SOLUTION FOUND: 270 @ 6.369 7.27 c Sol. found (all assignments made)... 7.27 o 268 7.27 c NEW SOLUTION FOUND: 268 @ 7.253 7.29 c Sol. found (all assignments made)... 7.29 o 264 7.29 c NEW SOLUTION FOUND: 264 @ 7.268 8.75 c Restart #15 #Var: 120 LB: 0 @ 8.728 9.70 c Restart #16 #Var: 120 LB: 0 @ 9.685 11.08 c Sol. found (all assignments made)... 11.08 o 260 11.08 c NEW SOLUTION FOUND: 260 @ 11.065 11.10 c Sol. found (all assignments made)... 11.10 o 258 11.10 c NEW SOLUTION FOUND: 258 @ 11.085 11.23 c Sol. found (all assignments made)... 11.23 o 250 11.23 c NEW SOLUTION FOUND: 250 @ 11.214 11.25 c Sol. found (all assignments made)... 11.25 o 248 11.25 c NEW SOLUTION FOUND: 248 @ 11.23 13.33 c Restart #17 #Var: 120 LB: 0 @ 13.305 15.36 c Restart #18 #Var: 120 LB: 0 @ 15.336 18.54 c Restart #19 #Var: 120 LB: 0 @ 18.523 21.18 c Restart #20 #Var: 120 LB: 0 @ 21.157 22.79 c CHANGE to MIS mode... UB: 248 MIS: 0 LPR: 0 (0.012) Diff: nan 22.79 c Restart #0 #Var: 120 LB: 0 @ 22.765 23.00 c Restart #1 #Var: 120 LB: 0 @ 22.972 23.47 c Restart #2 #Var: 120 LB: 0 @ 23.439 24.10 c Restart #3 #Var: 120 LB: 0 @ 24.073 24.88 c Restart #4 #Var: 120 LB: 0 @ 24.85 25.94 c Restart #5 #Var: 120 LB: 0 @ 25.909 27.26 c Restart #6 #Var: 120 LB: 0 @ 27.231 27.46 c Restart #7 #Var: 120 LB: 0 @ 27.428 28.59 c Restart #8 #Var: 120 LB: 0 @ 28.561 30.83 c Restart #9 #Var: 120 LB: 0 @ 30.795 32.31 c Restart #10 #Var: 120 LB: 0 @ 32.279 35.95 c Restart #11 #Var: 120 LB: 0 @ 35.917 41.77 c Restart #12 #Var: 120 LB: 0 @ 41.741 46.72 c Restart #13 #Var: 120 LB: 0 @ 46.684 52.15 c Restart #14 #Var: 120 LB: 0 @ 52.114 54.08 c Sol. found (all assignments made)... 54.09 c Sol. found (all assignments made)... 54.09 c Sol. found (all assignments made)... 54.09 o 247 54.09 c NEW SOLUTION FOUND: 247 @ 54.056 54.09 c Sol. found (all assignments made)... 54.09 c Sol. found (all assignments made)... 54.09 c Sol. found (all assignments made)... 54.09 o 245 54.09 c NEW SOLUTION FOUND: 245 @ 54.057 54.11 c Sol. found (all assignments made)... 54.11 o 243 54.11 c NEW SOLUTION FOUND: 243 @ 54.07 54.20 c Sol. found (all assignments made)... 54.20 c Sol. found (all assignments made)... 54.20 c Sol. found (all assignments made)... 54.20 o 241 54.20 c NEW SOLUTION FOUND: 241 @ 54.167 54.24 c Sol. found (all assignments made)... 54.61 c Sol. found (all assignments made)... 54.61 o 239 54.61 c NEW SOLUTION FOUND: 239 @ 54.57 54.63 c Sol. found (all assignments made)... 54.68 c Sol. found (all assignments made)... 54.68 o 237 54.68 c NEW SOLUTION FOUND: 237 @ 54.648 54.80 c Sol. found (all assignments made)... 61.83 c Restart #15 #Var: 120 LB: 0 @ 61.791 67.46 c Restart #16 #Var: 120 LB: 0 @ 67.414 85.92 c Restart #17 #Var: 120 LB: 0 @ 85.869 95.97 c Restart #18 #Var: 120 LB: 0 @ 95.921 99.49 c Sol. found (all assignments made)... 99.49 o 232 99.49 c NEW SOLUTION FOUND: 232 @ 99.445 104.48 c Sol. found (all assignments made)... 104.49 c Sol. found (all assignments made)... 104.49 c Sol. found (all assignments made)... 104.51 c Sol. found (all assignments made)... 104.52 c Sol. found (all assignments made)... 104.52 c Sol. found (all assignments made)... 104.52 c Sol. found (all assignments made)... 104.52 c Sol. found (all assignments made)... 104.54 c Sol. found (all assignments made)... 104.57 c Sol. found (all assignments made)... 104.60 c Sol. found (all assignments made)... 104.62 c Sol. found (all assignments made)... 104.86 c Sol. found (all assignments made)... 104.88 c Sol. found (all assignments made)... 106.24 c Sol. found (all assignments made)... 106.24 o 231 106.24 c NEW SOLUTION FOUND: 231 @ 106.19 106.35 c Sol. found (all assignments made)... 106.35 o 229 106.35 c NEW SOLUTION FOUND: 229 @ 106.3 106.68 c Sol. found (all assignments made)... 106.68 o 227 106.68 c NEW SOLUTION FOUND: 227 @ 106.63 119.08 c Restart #19 #Var: 120 LB: 0 @ 119.03 120.81 c Sol. found (all assignments made)... 120.81 o 226 120.81 c NEW SOLUTION FOUND: 226 @ 120.75 131.21 c Restart #20 #Var: 120 LB: 0 @ 131.15 143.16 c Restart #21 #Var: 120 LB: 0 @ 143.1 155.26 c Restart #22 #Var: 120 LB: 0 @ 155.2 172.47 c Restart #23 #Var: 120 LB: 0 @ 172.4 190.60 c Restart #24 #Var: 120 LB: 0 @ 190.53 204.44 c Restart #25 #Var: 120 LB: 0 @ 204.36 218.09 c Restart #26 #Var: 120 LB: 0 @ 218.01 232.84 c Restart #27 #Var: 120 LB: 0 @ 232.75 258.69 c Sol. found (all assignments made)... 258.69 o 219 258.69 c NEW SOLUTION FOUND: 219 @ 258.6 260.44 c Sol. found (all assignments made)... 260.44 o 211 260.44 c NEW SOLUTION FOUND: 211 @ 260.35 260.52 c Sol. found (all assignments made)... 260.52 o 209 260.52 c NEW SOLUTION FOUND: 209 @ 260.43 260.52 c Sol. found (all assignments made)... 260.52 c Sol. found (all assignments made)... 260.53 c Sol. found (all assignments made)... 260.53 o 207 260.53 c NEW SOLUTION FOUND: 207 @ 260.44 303.51 c Sol. found (all assignments made)... 303.51 o 188 303.51 c NEW SOLUTION FOUND: 188 @ 303.41 303.51 c Sol. found (all assignments made)... 303.51 o 186 303.51 c NEW SOLUTION FOUND: 186 @ 303.41 303.57 c Sol. found (all assignments made)... 303.57 o 174 303.57 c NEW SOLUTION FOUND: 174 @ 303.46 303.58 c Sol. found (all assignments made)... 303.58 o 170 303.58 c NEW SOLUTION FOUND: 170 @ 303.47 305.16 c Sol. found (all assignments made)... 305.16 o 166 305.16 c NEW SOLUTION FOUND: 166 @ 305.05 305.44 c Sol. found (all assignments made)... 305.44 o 162 305.44 c NEW SOLUTION FOUND: 162 @ 305.34 305.54 c Sol. found (all assignments made)... 305.54 o 158 305.54 c NEW SOLUTION FOUND: 158 @ 305.43 310.99 c Sol. found (all assignments made)... 310.99 o 156 310.99 c NEW SOLUTION FOUND: 156 @ 310.89 317.77 c Restart #28 #Var: 120 LB: 0 @ 317.66 331.83 c Restart #29 #Var: 120 LB: 0 @ 331.71 358.29 c Restart #30 #Var: 120 LB: 0 @ 358.17 375.50 c Restart #31 #Var: 120 LB: 0 @ 375.37 401.81 c Restart #32 #Var: 120 LB: 0 @ 401.68 449.97 c Restart #33 #Var: 120 LB: 0 @ 449.83 507.61 c Restart #34 #Var: 120 LB: 0 @ 507.39 549.07 c Restart #35 #Var: 120 LB: 0 @ 548.84 587.55 c Sol. found (all assignments made)... 587.55 o 155 587.55 c NEW SOLUTION FOUND: 155 @ 587.31 587.55 c Sol. found (all assignments made)... 587.55 o 147 587.55 c NEW SOLUTION FOUND: 147 @ 587.31 587.62 c Sol. found (all assignments made)... 587.62 o 145 587.62 c NEW SOLUTION FOUND: 145 @ 587.38 588.71 c Sol. found (all assignments made)... 588.71 c Sol. found (all assignments made)... 588.71 c Sol. found (all assignments made)... 588.71 o 142 588.71 c NEW SOLUTION FOUND: 142 @ 588.47 588.71 c Sol. found (all assignments made)... 588.71 o 134 588.71 c NEW SOLUTION FOUND: 134 @ 588.47 588.71 c Sol. found (all assignments made)... 588.71 c Sol. found (all assignments made)... 588.71 o 132 588.71 c NEW SOLUTION FOUND: 132 @ 588.47 588.76 c Sol. found (all assignments made)... 588.76 o 112 588.76 c NEW SOLUTION FOUND: 112 @ 588.52 588.76 c Sol. found (all assignments made)... 588.76 o 110 588.76 c NEW SOLUTION FOUND: 110 @ 588.52 588.76 c Sol. found (all assignments made)... 640.62 c Restart #36 #Var: 118 LB: 0 @ 640.37 655.87 c Sol. found (all assignments made)... 655.87 o 108 655.87 c NEW SOLUTION FOUND: 108 @ 655.61 655.89 c Sol. found (all assignments made)... 656.91 c Sol. found (all assignments made)... 665.22 c Sol. found (all assignments made)... 665.22 o 104 665.22 c NEW SOLUTION FOUND: 104 @ 664.96 665.22 c Sol. found (all assignments made)... 665.22 c Sol. found (all assignments made)... 665.23 c Sol. found (all assignments made)... 665.23 o 102 665.23 c NEW SOLUTION FOUND: 102 @ 664.97 665.35 c Sol. found (all assignments made)... 665.35 o 98 665.35 c NEW SOLUTION FOUND: 98 @ 665.09 665.35 c Sol. found (all assignments made)... 665.35 c Sol. found (all assignments made)... 665.35 o 96 665.35 c NEW SOLUTION FOUND: 96 @ 665.09 665.36 c Sol. found (all assignments made)... 665.36 o 86 665.36 c NEW SOLUTION FOUND: 86 @ 665.1 665.61 c Sol. found (all assignments made)... 665.61 o 78 665.61 c NEW SOLUTION FOUND: 78 @ 665.35 666.26 c Sol. found (all assignments made)... 666.26 o 76 666.26 c NEW SOLUTION FOUND: 76 @ 665.99 684.81 c Sol. found (all assignments made)... 684.81 o 74 684.81 c NEW SOLUTION FOUND: 74 @ 684.54 688.04 c Sol. found (all assignments made)... 688.04 o 72 688.04 c NEW SOLUTION FOUND: 72 @ 687.77 689.32 c Sol. found (all assignments made)... 689.32 o 70 689.32 c NEW SOLUTION FOUND: 70 @ 689.05 753.67 c Restart #37 #Var: 116 LB: 0 @ 753.39 801.41 c Sol. found (all assignments made)... 802.45 c Sol. found (all assignments made)... 802.96 c Sol. found (all assignments made)... 860.93 c Restart #38 #Var: 112 LB: 0 @ 860.61 915.24 c Sol. found (all assignments made)... 915.24 c Sol. found (all assignments made)... 915.24 o 68 915.24 c NEW SOLUTION FOUND: 68 @ 914.91 922.97 c Sol. found (all assignments made)... 922.97 o 66 922.97 c NEW SOLUTION FOUND: 66 @ 922.64 948.96 c Sol. found (all assignments made)... 948.96 o 64 948.96 c NEW SOLUTION FOUND: 64 @ 948.62 1045.50 c Restart #39 #Var: 107 LB: 0 @ 1045.1 1089.23 c Sol. found (all assignments made)... 1089.23 o 58 1089.23 c NEW SOLUTION FOUND: 58 @ 1088.8 1089.23 c Sol. found (all assignments made)... 1089.23 o 56 1089.23 c NEW SOLUTION FOUND: 56 @ 1088.9 1092.38 c Sol. found (all assignments made)... 1092.38 o 54 1092.38 c NEW SOLUTION FOUND: 54 @ 1092 1131.08 c Sol. found (all assignments made)... 1131.11 c Sol. found (all assignments made)... 1137.00 c Sol. found (all assignments made)... 1137.12 c Sol. found (all assignments made)... 1137.12 o 52 1137.12 c NEW SOLUTION FOUND: 52 @ 1136.7 1169.75 c Sol. found (all assignments made)... 1169.82 c Sol. found (all assignments made)... 1170.32 c Sol. found (all assignments made)... 1170.37 c Sol. found (all assignments made)... 1170.44 c Sol. found (all assignments made)... 1170.44 o 51 1170.44 c NEW SOLUTION FOUND: 51 @ 1170 1170.47 c Sol. found (all assignments made)... 1171.53 c Sol. found (all assignments made)... 1171.53 c Sol. found (all assignments made)... 1171.53 c Sol. found (all assignments made)... 1171.53 o 49 1171.53 c NEW SOLUTION FOUND: 49 @ 1171.1 1171.57 c Sol. found (all assignments made)... 1171.57 o 47 1171.57 c NEW SOLUTION FOUND: 47 @ 1171.2 1176.11 c Sol. found (all assignments made)... 1176.11 o 45 1176.11 c NEW SOLUTION FOUND: 45 @ 1175.7 1280.88 c Sol. found (all assignments made)... 1280.88 o 41 1280.88 c NEW SOLUTION FOUND: 41 @ 1280.4 1281.54 c Sol. found (all assignments made)... 1281.54 o 35 1281.54 c NEW SOLUTION FOUND: 35 @ 1281.1 1281.62 c Sol. found (all assignments made)... 1281.62 o 33 1281.62 c NEW SOLUTION FOUND: 33 @ 1281.2 1284.45 c Sol. found (all assignments made)... 1284.45 o 31 1284.45 c NEW SOLUTION FOUND: 31 @ 1284 1284.56 c Sol. found (all assignments made)... 1284.56 o 29 1284.56 c NEW SOLUTION FOUND: 29 @ 1284.1 1290.16 c Sol. found (all assignments made)... 1290.16 o 27 1290.16 c NEW SOLUTION FOUND: 27 @ 1289.7 1292.31 c Sol. found (all assignments made)... 1292.31 o 26 1292.31 c NEW SOLUTION FOUND: 26 @ 1291.9 1343.78 c Restart #40 #Var: 90 LB: 0 @ 1343.3 1389.32 c Restart #41 #Var: 90 LB: 0 @ 1388.9 1394.51 c Sol. found (all assignments made)... 1394.51 o 18 1394.51 c NEW SOLUTION FOUND: 18 @ 1394 1430.34 c Restart #42 #Var: 90 LB: 0 @ 1429.9 1466.93 c Restart #43 #Var: 90 LB: 0 @ 1466.5 1470.55 c Sol. found (all assignments made)... 1470.55 c Sol. found (all assignments made)... 1470.58 c Sol. found (all assignments made)... 1470.58 o 17 1470.58 c NEW SOLUTION FOUND: 17 @ 1470.1 1499.15 c Restart #44 #Var: 90 LB: 0 @ 1498.7 1542.81 c Restart #45 #Var: 90 LB: 0 @ 1542.3 1598.22 c Sol. found (all assignments made)... 1598.22 c Sol. found (all assignments made)... 1598.22 o 15 1598.22 c NEW SOLUTION FOUND: 15 @ 1597.7 1598.22 c Sol. found (all assignments made)... 1598.22 o 13 1598.22 c NEW SOLUTION FOUND: 13 @ 1597.7 1598.24 c Sol. found (all assignments made)... 1598.24 o 11 1598.24 c NEW SOLUTION FOUND: 11 @ 1597.7 1607.25 c Sol. found (all assignments made)... 1607.25 o 10 1607.25 c NEW SOLUTION FOUND: 10 @ 1606.7 1607.43 c Sol. found (all assignments made)... 1607.43 o 8 1607.43 c NEW SOLUTION FOUND: 8 @ 1606.9 1633.12 c Restart #46 #Var: 82 LB: 0 @ 1632.6 1645.31 c Restart #47 #Var: 80 LB: 0 @ 1644.8 1662.82 c Restart #48 #Var: 80 LB: 0 @ 1662.3 1673.58 c Restart #49 #Var: 79 LB: 0 @ 1673 1683.45 c Restart #50 #Var: 79 LB: 0 @ 1682.9 1692.77 c Restart #51 #Var: 79 LB: 0 @ 1692.2 1700.35 c Restart #52 #Var: 77 LB: 0 @ 1699.8 1705.05 c Restart #53 #Var: 76 LB: 0 @ 1704.5 1709.96 c Restart #54 #Var: 75 LB: 0 @ 1709.4 1716.51 c Restart #55 #Var: 75 LB: 0 @ 1716 1726.27 c Restart #56 #Var: 75 LB: 0 @ 1725.7 1746.21 c Restart #57 #Var: 75 LB: 0 @ 1745.7 1760.72 c Restart #58 #Var: 75 LB: 0 @ 1760.2 1773.48 c Restart #59 #Var: 75 LB: 0 @ 1772.9 1779.80 c Restart #60 #Var: 74 LB: 0 @ 1779.2 1785.16 c Sol. found (all assignments made)... 1785.16 c Sol. found (all assignments made)... 1785.16 o 7 1785.16 c NEW SOLUTION FOUND: 7 @ 1784.6 1785.25 c Sol. found (all assignments made)... 1789.29 c Restart #61 #Var: 73 LB: 0 @ 1788.7 1794.51 c Sol. found (all assignments made)... 1794.51 o 6 1794.51 c NEW SOLUTION FOUND: 6 @ 1793.9 1799.57 c Restart #62 #Var: 73 LB: 0 @ 1799 1800.57 s SATISFIABLE 1800.57 c Cost: 6 1800.57 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1800.57 v -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1800.57 v -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 1800.57 v x81 x82 -x83 x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 x92 -x93 x94 x95 -x96 x97 x98 x99 -x100 -x101 x102 -x103 -x104 -x105 x106 x107 1800.57 v x108 x109 x110 x111 -x112 -x113 x114 x115 -x116 -x117 x118 -x119 -x120 1800.57 c Exit Code: 10 1800.57 c Total time: 1800 s
OK 6
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node56/watcher-50304-1154098391 -o ROOT/results/node56/solver-50304-1154098391 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node56/50304-1154098391/instance-50304-1154098391.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.99 3/64 3465 /proc/meminfo: memFree=1505816/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=2900 CPUtime=0 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 44 0 0 0 0 0 0 0 18 0 1 0 156709147 2969600 27 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 10027812 0 0 4096 0 0 0 0 17 1 0 0 /proc/3465/statm: 725 27 19 55 0 38 0 [startup+10.0025 s] /proc/loadavg: 0.93 0.97 0.99 2/64 3465 /proc/meminfo: memFree=1455384/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=54748 CPUtime=9.98 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 12949 0 0 0 988 10 0 0 25 0 1 0 156709147 56061952 12863 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528687 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 13687 12863 297 55 0 12579 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 54748 [startup+20.0084 s] /proc/loadavg: 0.94 0.97 0.99 2/64 3465 /proc/meminfo: memFree=1438680/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=71532 CPUtime=19.98 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 17107 0 0 0 1984 14 0 0 25 0 1 0 156709147 73248768 17021 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 17883 17021 297 55 0 16775 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 71532 [startup+30.0144 s] /proc/loadavg: 0.95 0.97 0.99 2/64 3465 /proc/meminfo: memFree=1422680/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=87476 CPUtime=29.97 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 21111 0 3 0 2979 18 0 0 25 0 1 0 156709147 89575424 21023 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 21869 21023 420 55 0 20761 0 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 87476 [startup+40.0204 s] /proc/loadavg: 0.95 0.97 0.99 2/64 3465 /proc/meminfo: memFree=1415448/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=94628 CPUtime=39.98 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 22915 0 3 0 3978 20 0 0 25 0 1 0 156709147 96899072 22827 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 23657 22827 420 55 0 22549 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 94628 [startup+50.0264 s] /proc/loadavg: 0.96 0.97 0.99 2/64 3465 /proc/meminfo: memFree=1410968/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=99300 CPUtime=49.99 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 24050 0 3 0 4976 23 0 0 25 0 1 0 156709147 101683200 23962 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 24825 23962 420 55 0 23717 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 99300 [startup+60.0324 s] /proc/loadavg: 0.97 0.97 0.99 2/64 3465 /proc/meminfo: memFree=1406488/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=103800 CPUtime=59.99 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 25170 0 3 0 5974 25 0 0 25 0 1 0 156709147 106291200 25082 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 25950 25082 420 55 0 24842 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 103800 [startup+70.0384 s] /proc/loadavg: 0.97 0.97 0.99 2/64 3465 /proc/meminfo: memFree=1401624/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=108560 CPUtime=69.99 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 26374 0 3 0 6973 26 0 0 25 0 1 0 156709147 111165440 26286 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548490 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 27140 26286 420 55 0 26032 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 108560 [startup+80.0444 s] /proc/loadavg: 0.98 0.97 0.99 2/64 3465 /proc/meminfo: memFree=1399768/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=110540 CPUtime=79.99 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 26853 0 3 0 7972 27 0 0 25 0 1 0 156709147 113192960 26761 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 27635 26761 420 55 0 26527 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 110540 [startup+90.0504 s] /proc/loadavg: 0.98 0.97 0.99 2/64 3465 /proc/meminfo: memFree=1397144/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=113196 CPUtime=90 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 27513 0 3 0 8972 28 0 0 25 0 1 0 156709147 115912704 27421 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529328 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 28299 27421 420 55 0 27191 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 113196 [startup+100.056 s] /proc/loadavg: 0.98 0.97 0.99 2/64 3465 /proc/meminfo: memFree=1393560/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=116776 CPUtime=100 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 28398 0 3 0 9971 29 0 0 25 0 1 0 156709147 119578624 28306 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134551577 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 29194 28306 420 55 0 28086 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 116776 [startup+110.062 s] /proc/loadavg: 0.98 0.97 0.99 2/64 3465 /proc/meminfo: memFree=1389592/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=120740 CPUtime=110 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 29377 0 3 0 10969 31 0 0 25 0 1 0 156709147 123637760 29285 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 30185 29285 420 55 0 29077 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 120740 [startup+120.068 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3465 /proc/meminfo: memFree=1386904/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=123512 CPUtime=120 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 30068 0 3 0 11968 32 0 0 25 0 1 0 156709147 126476288 29976 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 30878 29976 420 55 0 29770 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 123512 [startup+130.074 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3465 /proc/meminfo: memFree=1382552/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=127868 CPUtime=130.01 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 31153 0 3 0 12967 34 0 0 25 0 1 0 156709147 130936832 31061 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550888 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 31967 31061 420 55 0 30859 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 127868 [startup+140.08 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3465 /proc/meminfo: memFree=1378264/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=132108 CPUtime=140.01 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 32216 0 3 0 13966 35 0 0 25 0 1 0 156709147 135278592 32123 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 33027 32123 420 55 0 31919 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 132108 [startup+150.086 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3465 /proc/meminfo: memFree=1373848/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=136596 CPUtime=150.02 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 33328 0 3 0 14965 37 0 0 25 0 1 0 156709147 139874304 33234 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134524322 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 34149 33234 420 55 0 33041 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 136596 [startup+160.092 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3465 /proc/meminfo: memFree=1369560/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=140828 CPUtime=160.02 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 34394 0 3 0 15963 39 0 0 25 0 1 0 156709147 144207872 34299 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 35207 34299 420 55 0 34099 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 140828 [startup+170.098 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3465 /proc/meminfo: memFree=1364760/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=145624 CPUtime=170.02 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 36086 0 3 0 16962 40 0 0 25 0 1 0 156709147 149118976 35483 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 36406 35483 420 55 0 35298 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 145624 [startup+180.104 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3465 /proc/meminfo: memFree=1362584/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=148016 CPUtime=180.02 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 36658 0 3 0 17961 41 0 0 25 0 1 0 156709147 151568384 36052 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 37004 36052 420 55 0 35896 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 148016 [startup+190.11 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3465 /proc/meminfo: memFree=1359640/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=150948 CPUtime=190.03 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 37377 0 3 0 18961 42 0 0 25 0 1 0 156709147 154570752 36770 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 37737 36770 420 55 0 36629 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 150948 [startup+200.116 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3465 /proc/meminfo: memFree=1355288/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=155392 CPUtime=200.04 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 38473 0 3 0 19959 45 0 0 25 0 1 0 156709147 159121408 37863 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 38848 37863 420 55 0 37740 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 155392 [startup+210.122 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3465 ################ # More data... # ################ Current children cumulated CPU time (s) 1760.56 Current children cumulated vsize (Kb) 505584 [startup+1771.14 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3663 /proc/meminfo: memFree=998296/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=514236 CPUtime=1770.57 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 128605 0 3 0 176874 183 0 0 25 0 1 0 156709147 526577664 126848 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 128559 126848 420 55 0 127451 0 Current children cumulated CPU time (s) 1770.57 Current children cumulated vsize (Kb) 514236 [startup+1781.15 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3663 /proc/meminfo: memFree=980056/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=532304 CPUtime=1780.57 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 133169 0 3 0 177870 187 0 0 25 0 1 0 156709147 545079296 131406 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 133076 131406 420 55 0 131968 0 Current children cumulated CPU time (s) 1780.57 Current children cumulated vsize (Kb) 532304 [startup+1782.15 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3663 /proc/meminfo: memFree=977944/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=534416 CPUtime=1781.58 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 133681 0 3 0 177970 188 0 0 25 0 1 0 156709147 547241984 131918 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 133604 131918 420 55 0 132496 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (Kb) 534416 [startup+1783.16 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3663 /proc/meminfo: memFree=976088/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=536388 CPUtime=1782.58 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 134152 0 3 0 178070 188 0 0 25 0 1 0 156709147 549261312 132384 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 134097 132384 420 55 0 132989 0 Current children cumulated CPU time (s) 1782.58 Current children cumulated vsize (Kb) 536388 [startup+1784.16 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3663 /proc/meminfo: memFree=973976/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=538632 CPUtime=1783.59 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 134685 0 3 0 178170 189 0 0 25 0 1 0 156709147 551559168 132917 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 134658 132917 420 55 0 133550 0 Current children cumulated CPU time (s) 1783.59 Current children cumulated vsize (Kb) 538632 [startup+1785.17 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3663 /proc/meminfo: memFree=971416/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=541148 CPUtime=1784.59 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 135310 0 3 0 178270 189 0 0 25 0 1 0 156709147 554135552 133542 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 135287 133542 420 55 0 134179 0 Current children cumulated CPU time (s) 1784.59 Current children cumulated vsize (Kb) 541148 [startup+1786.17 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3663 /proc/meminfo: memFree=968152/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=544316 CPUtime=1785.59 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 136131 0 3 0 178369 190 0 0 25 0 1 0 156709147 557379584 134363 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 136079 134363 420 55 0 134971 0 Current children cumulated CPU time (s) 1785.59 Current children cumulated vsize (Kb) 544316 [startup+1787.18 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3663 /proc/meminfo: memFree=964504/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=548012 CPUtime=1786.6 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 137038 0 3 0 178469 191 0 0 25 0 1 0 156709147 561164288 135270 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 137003 135270 420 55 0 135895 0 Current children cumulated CPU time (s) 1786.6 Current children cumulated vsize (Kb) 548012 [startup+1788.18 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3663 /proc/meminfo: memFree=961304/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=551316 CPUtime=1787.61 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 137846 0 3 0 178569 192 0 0 25 0 1 0 156709147 564547584 136078 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 137829 136079 420 55 0 136721 0 Current children cumulated CPU time (s) 1787.61 Current children cumulated vsize (Kb) 551316 [startup+1789.19 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3663 /proc/meminfo: memFree=959000/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=553560 CPUtime=1788.6 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 138408 0 3 0 178668 192 0 0 25 0 1 0 156709147 566845440 136640 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 138390 136640 420 55 0 137282 0 Current children cumulated CPU time (s) 1788.6 Current children cumulated vsize (Kb) 553560 [startup+1790.19 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3663 /proc/meminfo: memFree=957464/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=555012 CPUtime=1789.62 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 138805 0 3 0 178769 193 0 0 25 0 1 0 156709147 568332288 137037 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 138753 137037 420 55 0 137645 0 Current children cumulated CPU time (s) 1789.62 Current children cumulated vsize (Kb) 555012 [startup+1791.2 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3663 /proc/meminfo: memFree=955672/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=556860 CPUtime=1790.62 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 139251 0 3 0 178869 193 0 0 25 0 1 0 156709147 570224640 137483 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 139215 137483 420 55 0 138107 0 Current children cumulated CPU time (s) 1790.62 Current children cumulated vsize (Kb) 556860 [startup+1792.2 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3663 /proc/meminfo: memFree=954392/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=558180 CPUtime=1791.62 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 139584 0 3 0 178968 194 0 0 25 0 1 0 156709147 571576320 137816 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 139545 137816 420 55 0 138437 0 Current children cumulated CPU time (s) 1791.62 Current children cumulated vsize (Kb) 558180 [startup+1793.21 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3663 /proc/meminfo: memFree=951832/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=560872 CPUtime=1792.62 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 140227 0 3 0 179068 194 0 0 25 0 1 0 156709147 574332928 138457 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 140218 138457 420 55 0 139110 0 Current children cumulated CPU time (s) 1792.62 Current children cumulated vsize (Kb) 560872 [startup+1794.21 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3663 /proc/meminfo: memFree=948248/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=564304 CPUtime=1793.63 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 141112 0 3 0 179168 195 0 0 25 0 1 0 156709147 577847296 139342 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 141076 139342 420 55 0 139968 0 Current children cumulated CPU time (s) 1793.63 Current children cumulated vsize (Kb) 564304 [startup+1795.22 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3663 /proc/meminfo: memFree=944664/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=568000 CPUtime=1794.64 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 142014 0 3 0 179268 196 0 0 25 0 1 0 156709147 581632000 140244 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 142000 140244 420 55 0 140892 0 Current children cumulated CPU time (s) 1794.64 Current children cumulated vsize (Kb) 568000 [startup+1796.22 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3663 /proc/meminfo: memFree=941784/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=570816 CPUtime=1795.64 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 142723 0 3 0 179368 196 0 0 25 0 1 0 156709147 584515584 140951 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 142704 140951 420 55 0 141596 0 Current children cumulated CPU time (s) 1795.64 Current children cumulated vsize (Kb) 570816 [startup+1797.23 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3663 /proc/meminfo: memFree=939544/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=573064 CPUtime=1796.65 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 143289 0 3 0 179468 197 0 0 25 0 1 0 156709147 586817536 141517 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 143266 141517 420 55 0 142158 0 Current children cumulated CPU time (s) 1796.65 Current children cumulated vsize (Kb) 573064 [startup+1798.23 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3663 /proc/meminfo: memFree=936152/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=576364 CPUtime=1797.65 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 144124 0 3 0 179568 197 0 0 25 0 1 0 156709147 590196736 142352 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 144091 142352 420 55 0 142983 0 Current children cumulated CPU time (s) 1797.65 Current children cumulated vsize (Kb) 576364 [startup+1799.24 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3663 /proc/meminfo: memFree=934424/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=578212 CPUtime=1798.66 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 144570 0 3 0 179668 198 0 0 25 0 1 0 156709147 592089088 142798 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528720 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 144553 142798 420 55 0 143445 0 Current children cumulated CPU time (s) 1798.66 Current children cumulated vsize (Kb) 578212 [startup+1800.24 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3663 /proc/meminfo: memFree=932888/2055920 swapFree=4183496/4192956 [pid=3465] ppid=3463 vsize=579672 CPUtime=1799.66 /proc/3465/stat : 3465 (bsolo) R 3463 3465 3416 0 -1 0 144955 0 3 0 179768 198 0 0 25 0 1 0 156709147 593584128 143183 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3465/statm: 144918 143183 420 55 0 143810 0 Current children cumulated CPU time (s) 1799.66 Current children cumulated vsize (Kb) 579672 Child status: 10 Real time (s): 1800.67 CPU time (s): 1800.1 CPU user time (s): 1798.02 CPU system time (s): 2.07868 CPU usage (%): 99.968 Max. virtual memory (cumulated for all children) (Kb): 579672 The end
Begin job on node56 on Fri Jul 28 14:53:11 UTC 2006 FILE ID= 50304-1154098391 PBS_JOBID= 886007 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node56/50304-1154098391/instance-50304-1154098391.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-50304-1154098391 -o ROOT/results/node56/solver-50304-1154098391 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node56/50304-1154098391/instance-50304-1154098391.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 455599f2e36aed56b051b7169c43fa6c RANDOM SEED= 691931057 TIMEOUT= 1800 seconds /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.227 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.227 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1506024 kB Buffers: 33440 kB Cached: 443540 kB SwapCached: 3168 kB Active: 68804 kB Inactive: 416624 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1506024 kB SwapTotal: 4192956 kB SwapFree: 4183496 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14492 kB Slab: 50456 kB Committed_AS: 709036 kB PageTables: 1492 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node56 on Fri Jul 28 15:23:12 UTC 2006