Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 100 | 1800.1 | 1800.73 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_4.opb |
MD5SUM | a470052ca6f8034e2c6c08868e52d9e8 |
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 | 2 |
Optimality of the best value was proved | NO |
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 | 1207 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4131 |
Number of bits of the biggest sum of numbers | 13 |
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.01 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.011 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.02 0.04 c Restart #2 #Var: 120 LB: 0 @ 0.038 0.07 c Restart #3 #Var: 120 LB: 0 @ 0.063 0.11 c Restart #4 #Var: 120 LB: 0 @ 0.1 0.14 c Restart #5 #Var: 120 LB: 0 @ 0.138 0.20 c Restart #6 #Var: 120 LB: 0 @ 0.194 0.24 c Sol. found (all assignments made)... 0.24 o 1052 0.24 c NEW SOLUTION FOUND: 1052 @ 0.23 0.24 c Sol. found (all assignments made)... 0.24 o 1048 0.24 c NEW SOLUTION FOUND: 1048 @ 0.231 0.24 c Sol. found (all assignments made)... 0.24 o 1046 0.24 c NEW SOLUTION FOUND: 1046 @ 0.232 0.24 c Sol. found (all assignments made)... 0.24 o 1030 0.24 c NEW SOLUTION FOUND: 1030 @ 0.233 0.24 c Sol. found (all assignments made)... 0.24 o 1022 0.24 c NEW SOLUTION FOUND: 1022 @ 0.234 0.29 c Restart #7 #Var: 120 LB: 0 @ 0.283 0.35 c Restart #8 #Var: 120 LB: 0 @ 0.344 0.38 c Sol. found (all assignments made)... 0.38 o 972 0.38 c NEW SOLUTION FOUND: 972 @ 0.372 0.38 c Sol. found (all assignments made)... 0.38 o 956 0.38 c NEW SOLUTION FOUND: 956 @ 0.373 0.42 c Sol. found (all assignments made)... 0.42 o 952 0.42 c NEW SOLUTION FOUND: 952 @ 0.416 0.43 c Sol. found (all assignments made)... 0.43 o 948 0.43 c NEW SOLUTION FOUND: 948 @ 0.423 0.44 c Sol. found (all assignments made)... 0.44 o 940 0.44 c NEW SOLUTION FOUND: 940 @ 0.437 0.45 c Sol. found (all assignments made)... 0.45 o 936 0.45 c NEW SOLUTION FOUND: 936 @ 0.442 0.45 c Sol. found (all assignments made)... 0.45 o 934 0.45 c NEW SOLUTION FOUND: 934 @ 0.443 0.45 c Sol. found (all assignments made)... 0.45 o 932 0.45 c NEW SOLUTION FOUND: 932 @ 0.446 0.46 c Sol. found (all assignments made)... 0.46 o 924 0.46 c NEW SOLUTION FOUND: 924 @ 0.456 0.47 c Sol. found (all assignments made)... 0.47 o 918 0.47 c NEW SOLUTION FOUND: 918 @ 0.463 0.48 c Sol. found (all assignments made)... 0.48 o 916 0.48 c NEW SOLUTION FOUND: 916 @ 0.47 0.49 c Sol. found (all assignments made)... 0.49 o 892 0.49 c NEW SOLUTION FOUND: 892 @ 0.487 0.50 c Sol. found (all assignments made)... 0.50 o 888 0.50 c NEW SOLUTION FOUND: 888 @ 0.49 0.50 c Sol. found (all assignments made)... 0.50 o 886 0.50 c NEW SOLUTION FOUND: 886 @ 0.49 0.50 c Sol. found (all assignments made)... 0.50 o 876 0.50 c NEW SOLUTION FOUND: 876 @ 0.492 0.51 c Sol. found (all assignments made)... 0.51 o 870 0.51 c NEW SOLUTION FOUND: 870 @ 0.498 0.51 c Sol. found (all assignments made)... 0.51 o 868 0.51 c NEW SOLUTION FOUND: 868 @ 0.507 0.52 c Sol. found (all assignments made)... 0.52 o 862 0.52 c NEW SOLUTION FOUND: 862 @ 0.515 0.53 c Sol. found (all assignments made)... 0.53 o 860 0.53 c NEW SOLUTION FOUND: 860 @ 0.52 0.53 c Sol. found (all assignments made)... 0.53 o 856 0.53 c NEW SOLUTION FOUND: 856 @ 0.522 0.53 c Sol. found (all assignments made)... 0.53 o 854 0.53 c NEW SOLUTION FOUND: 854 @ 0.523 0.53 c Sol. found (all assignments made)... 0.53 o 852 0.53 c NEW SOLUTION FOUND: 852 @ 0.526 0.56 c Sol. found (all assignments made)... 0.56 o 844 0.56 c NEW SOLUTION FOUND: 844 @ 0.554 0.57 c Sol. found (all assignments made)... 0.57 o 830 0.57 c NEW SOLUTION FOUND: 830 @ 0.565 0.58 c Sol. found (all assignments made)... 0.58 o 828 0.58 c NEW SOLUTION FOUND: 828 @ 0.569 0.58 c Sol. found (all assignments made)... 0.58 o 820 0.58 c NEW SOLUTION FOUND: 820 @ 0.574 0.66 c Sol. found (all assignments made)... 0.66 o 818 0.66 c NEW SOLUTION FOUND: 818 @ 0.65 0.71 c Sol. found (all assignments made)... 0.71 o 725 0.71 c NEW SOLUTION FOUND: 725 @ 0.705 0.71 c Sol. found (all assignments made)... 0.71 o 721 0.71 c NEW SOLUTION FOUND: 721 @ 0.706 0.71 c Sol. found (all assignments made)... 0.71 o 719 0.71 c NEW SOLUTION FOUND: 719 @ 0.706 0.71 c Sol. found (all assignments made)... 0.71 o 717 0.71 c NEW SOLUTION FOUND: 717 @ 0.707 0.71 c Sol. found (all assignments made)... 0.71 o 715 0.71 c NEW SOLUTION FOUND: 715 @ 0.707 0.71 c Sol. found (all assignments made)... 0.71 o 699 0.71 c NEW SOLUTION FOUND: 699 @ 0.708 0.72 c Sol. found (all assignments made)... 0.72 o 697 0.72 c NEW SOLUTION FOUND: 697 @ 0.709 0.72 c Sol. found (all assignments made)... 0.72 o 581 0.72 c NEW SOLUTION FOUND: 581 @ 0.712 0.72 c Sol. found (all assignments made)... 0.72 o 577 0.72 c NEW SOLUTION FOUND: 577 @ 0.712 0.72 c Sol. found (all assignments made)... 0.72 o 573 0.72 c NEW SOLUTION FOUND: 573 @ 0.712 0.72 c Sol. found (all assignments made)... 0.72 o 569 0.72 c NEW SOLUTION FOUND: 569 @ 0.714 0.73 c Sol. found (all assignments made)... 0.73 o 541 0.73 c NEW SOLUTION FOUND: 541 @ 0.728 1.10 c Restart #9 #Var: 120 LB: 0 @ 1.089 1.35 c Restart #10 #Var: 120 LB: 0 @ 1.344 1.45 c Sol. found (all assignments made)... 1.45 o 494 1.45 c NEW SOLUTION FOUND: 494 @ 1.444 1.45 c Sol. found (all assignments made)... 1.45 o 462 1.45 c NEW SOLUTION FOUND: 462 @ 1.448 1.46 c Sol. found (all assignments made)... 1.46 o 440 1.46 c NEW SOLUTION FOUND: 440 @ 1.457 1.46 c Sol. found (all assignments made)... 1.46 o 430 1.46 c NEW SOLUTION FOUND: 430 @ 1.458 1.47 c Sol. found (all assignments made)... 1.47 o 402 1.47 c NEW SOLUTION FOUND: 402 @ 1.459 1.47 c Sol. found (all assignments made)... 1.47 o 400 1.47 c NEW SOLUTION FOUND: 400 @ 1.459 1.47 c Sol. found (all assignments made)... 1.47 o 398 1.47 c NEW SOLUTION FOUND: 398 @ 1.46 1.48 c Sol. found (all assignments made)... 1.48 o 390 1.48 c NEW SOLUTION FOUND: 390 @ 1.476 1.55 c Sol. found (all assignments made)... 1.55 o 388 1.55 c NEW SOLUTION FOUND: 388 @ 1.54 1.55 c Sol. found (all assignments made)... 1.55 o 386 1.55 c NEW SOLUTION FOUND: 386 @ 1.54 1.55 c Sol. found (all assignments made)... 1.55 o 384 1.55 c NEW SOLUTION FOUND: 384 @ 1.541 1.94 c Sol. found (all assignments made)... 1.94 o 362 1.94 c NEW SOLUTION FOUND: 362 @ 1.931 2.03 c Sol. found (all assignments made)... 2.03 o 358 2.03 c NEW SOLUTION FOUND: 358 @ 2.019 2.03 c Sol. found (all assignments made)... 2.03 o 356 2.03 c NEW SOLUTION FOUND: 356 @ 2.02 2.79 c Restart #11 #Var: 120 LB: 0 @ 2.779 3.71 c Restart #12 #Var: 120 LB: 0 @ 3.703 4.31 c Sol. found (all assignments made)... 4.31 o 355 4.31 c NEW SOLUTION FOUND: 355 @ 4.299 4.32 c Sol. found (all assignments made)... 4.32 o 353 4.32 c NEW SOLUTION FOUND: 353 @ 4.317 5.29 c Restart #13 #Var: 120 LB: 0 @ 5.278 6.21 c Restart #14 #Var: 120 LB: 0 @ 6.206 7.09 c Sol. found (all assignments made)... 7.09 o 349 7.09 c NEW SOLUTION FOUND: 349 @ 7.076 8.65 c Restart #15 #Var: 120 LB: 0 @ 8.645 10.83 c Restart #16 #Var: 120 LB: 0 @ 10.821 13.15 c Restart #17 #Var: 120 LB: 0 @ 13.134 14.78 c Sol. found (all assignments made)... 14.78 o 346 14.78 c NEW SOLUTION FOUND: 346 @ 14.767 14.79 c Sol. found (all assignments made)... 14.79 o 342 14.79 c NEW SOLUTION FOUND: 342 @ 14.776 14.83 c Sol. found (all assignments made)... 14.83 o 338 14.83 c NEW SOLUTION FOUND: 338 @ 14.81 14.84 c Sol. found (all assignments made)... 14.84 o 334 14.84 c NEW SOLUTION FOUND: 334 @ 14.821 15.46 c Sol. found (all assignments made)... 15.46 o 330 15.46 c NEW SOLUTION FOUND: 330 @ 15.449 15.61 c Sol. found (all assignments made)... 15.61 o 328 15.61 c NEW SOLUTION FOUND: 328 @ 15.595 15.63 c Sol. found (all assignments made)... 15.63 o 324 15.63 c NEW SOLUTION FOUND: 324 @ 15.616 15.65 c Sol. found (all assignments made)... 15.65 o 320 15.65 c NEW SOLUTION FOUND: 320 @ 15.636 15.75 c Sol. found (all assignments made)... 15.75 o 318 15.75 c NEW SOLUTION FOUND: 318 @ 15.729 17.35 c Sol. found (all assignments made)... 17.35 o 314 17.35 c NEW SOLUTION FOUND: 314 @ 17.331 17.37 c Sol. found (all assignments made)... 17.37 o 310 17.37 c NEW SOLUTION FOUND: 310 @ 17.351 17.37 c Sol. found (all assignments made)... 17.37 o 306 17.37 c NEW SOLUTION FOUND: 306 @ 17.354 17.65 c Sol. found (all assignments made)... 17.65 o 302 17.65 c NEW SOLUTION FOUND: 302 @ 17.638 17.66 c Sol. found (all assignments made)... 17.66 o 298 17.66 c NEW SOLUTION FOUND: 298 @ 17.647 17.85 c Sol. found (all assignments made)... 17.85 o 296 17.85 c NEW SOLUTION FOUND: 296 @ 17.831 17.86 c Sol. found (all assignments made)... 17.86 o 292 17.86 c NEW SOLUTION FOUND: 292 @ 17.845 17.88 c Sol. found (all assignments made)... 17.88 o 288 17.88 c NEW SOLUTION FOUND: 288 @ 17.861 17.90 c Sol. found (all assignments made)... 17.90 o 286 17.90 c NEW SOLUTION FOUND: 286 @ 17.886 17.91 c Sol. found (all assignments made)... 17.91 o 282 17.91 c NEW SOLUTION FOUND: 282 @ 17.894 18.49 c Sol. found (all assignments made)... 18.49 o 278 18.49 c NEW SOLUTION FOUND: 278 @ 18.47 18.49 c Sol. found (all assignments made)... 18.49 o 274 18.49 c NEW SOLUTION FOUND: 274 @ 18.471 18.49 c Sol. found (all assignments made)... 18.49 o 270 18.49 c NEW SOLUTION FOUND: 270 @ 18.478 18.52 c Sol. found (all assignments made)... 18.52 o 266 18.52 c NEW SOLUTION FOUND: 266 @ 18.5 18.53 c Sol. found (all assignments made)... 18.53 o 262 18.53 c NEW SOLUTION FOUND: 262 @ 18.513 18.77 c Sol. found (all assignments made)... 18.77 o 258 18.77 c NEW SOLUTION FOUND: 258 @ 18.752 18.91 c Sol. found (all assignments made)... 18.91 o 256 18.91 c NEW SOLUTION FOUND: 256 @ 18.897 19.50 c Sol. found (all assignments made)... 19.50 o 252 19.50 c NEW SOLUTION FOUND: 252 @ 19.482 19.50 c Sol. found (all assignments made)... 19.50 o 244 19.50 c NEW SOLUTION FOUND: 244 @ 19.483 19.51 c Sol. found (all assignments made)... 19.51 o 240 19.51 c NEW SOLUTION FOUND: 240 @ 19.49 19.60 c Sol. found (all assignments made)... 19.60 o 238 19.60 c NEW SOLUTION FOUND: 238 @ 19.579 19.61 c Sol. found (all assignments made)... 19.61 o 234 19.61 c NEW SOLUTION FOUND: 234 @ 19.594 19.86 c Sol. found (all assignments made)... 19.86 o 232 19.86 c NEW SOLUTION FOUND: 232 @ 19.846 23.56 c Restart #18 #Var: 120 LB: 0 @ 23.544 27.32 c Restart #19 #Var: 120 LB: 0 @ 27.298 29.38 c Restart #20 #Var: 120 LB: 0 @ 29.355 34.09 c Restart #21 #Var: 120 LB: 0 @ 34.064 39.51 c CHANGE to MIS mode... UB: 232 MIS: 0 LPR: 0 (0.013) Diff: nan 39.51 c Restart #0 #Var: 120 LB: 0 @ 39.489 39.56 c Restart #1 #Var: 120 LB: 0 @ 39.533 39.70 c Restart #2 #Var: 120 LB: 0 @ 39.678 40.19 c Restart #3 #Var: 120 LB: 0 @ 40.168 40.39 c Restart #4 #Var: 120 LB: 0 @ 40.364 41.12 c Restart #5 #Var: 120 LB: 0 @ 41.098 42.67 c Restart #6 #Var: 120 LB: 0 @ 42.649 45.68 c Restart #7 #Var: 120 LB: 0 @ 45.659 48.41 c Restart #8 #Var: 120 LB: 0 @ 48.385 54.36 c Restart #9 #Var: 120 LB: 0 @ 54.334 60.16 c Restart #10 #Var: 120 LB: 0 @ 60.13 68.84 c Restart #11 #Var: 120 LB: 0 @ 68.806 72.51 c Restart #12 #Var: 120 LB: 0 @ 72.471 75.95 c Restart #13 #Var: 120 LB: 0 @ 75.914 82.10 c Restart #14 #Var: 120 LB: 0 @ 82.062 85.05 c Sol. found (all assignments made)... 85.05 o 231 85.05 c NEW SOLUTION FOUND: 231 @ 85.014 89.34 c Sol. found (all assignments made)... 89.34 o 226 89.34 c NEW SOLUTION FOUND: 226 @ 89.295 97.25 c Restart #15 #Var: 120 LB: 0 @ 97.21 99.48 c Sol. found (all assignments made)... 99.48 o 225 99.48 c NEW SOLUTION FOUND: 225 @ 99.439 100.46 c Restart #16 #Var: 120 LB: 0 @ 100.42 104.84 c Restart #17 #Var: 120 LB: 0 @ 104.79 106.00 c Restart #18 #Var: 120 LB: 0 @ 105.96 115.26 c Restart #19 #Var: 120 LB: 0 @ 115.21 120.57 c Restart #20 #Var: 120 LB: 0 @ 120.51 123.94 c Restart #21 #Var: 120 LB: 0 @ 123.89 136.25 c Restart #22 #Var: 120 LB: 0 @ 136.19 148.81 c Sol. found (all assignments made)... 148.81 o 209 148.81 c NEW SOLUTION FOUND: 209 @ 148.75 148.82 c Sol. found (all assignments made)... 148.85 c Sol. found (all assignments made)... 148.85 o 207 148.85 c NEW SOLUTION FOUND: 207 @ 148.79 150.22 c Sol. found (all assignments made)... 150.22 o 205 150.22 c NEW SOLUTION FOUND: 205 @ 150.16 150.34 c Sol. found (all assignments made)... 150.34 o 203 150.34 c NEW SOLUTION FOUND: 203 @ 150.28 150.40 c Sol. found (all assignments made)... 150.40 o 201 150.40 c NEW SOLUTION FOUND: 201 @ 150.34 153.89 c Sol. found (all assignments made)... 153.89 o 179 153.89 c NEW SOLUTION FOUND: 179 @ 153.82 153.91 c Sol. found (all assignments made)... 153.91 o 177 153.91 c NEW SOLUTION FOUND: 177 @ 153.85 153.98 c Sol. found (all assignments made)... 153.98 o 175 153.98 c NEW SOLUTION FOUND: 175 @ 153.91 154.31 c Sol. found (all assignments made)... 154.31 o 171 154.31 c NEW SOLUTION FOUND: 171 @ 154.25 155.98 c Sol. found (all assignments made)... 155.98 o 169 155.98 c NEW SOLUTION FOUND: 169 @ 155.92 160.70 c Sol. found (all assignments made)... 160.70 o 167 160.70 c NEW SOLUTION FOUND: 167 @ 160.64 160.75 c Sol. found (all assignments made)... 160.75 o 163 160.75 c NEW SOLUTION FOUND: 163 @ 160.68 161.39 c Sol. found (all assignments made)... 161.39 o 161 161.39 c NEW SOLUTION FOUND: 161 @ 161.32 216.48 c Restart #23 #Var: 120 LB: 0 @ 216.4 245.40 c Restart #24 #Var: 120 LB: 0 @ 245.3 257.51 c Restart #25 #Var: 120 LB: 0 @ 257.41 261.73 c Restart #26 #Var: 120 LB: 0 @ 261.63 265.23 c Restart #27 #Var: 120 LB: 0 @ 265.13 275.77 c Restart #28 #Var: 120 LB: 0 @ 275.66 301.08 c Restart #29 #Var: 120 LB: 0 @ 300.97 303.87 c Sol. found (all assignments made)... 303.87 o 160 303.87 c NEW SOLUTION FOUND: 160 @ 303.76 332.33 c Restart #30 #Var: 120 LB: 0 @ 332.21 350.44 c Restart #31 #Var: 120 LB: 0 @ 350.31 407.30 c Restart #32 #Var: 120 LB: 0 @ 407.15 441.63 c Sol. found (all assignments made)... 441.63 o 158 441.63 c NEW SOLUTION FOUND: 158 @ 441.46 496.37 c Sol. found (all assignments made)... 496.37 o 156 496.37 c NEW SOLUTION FOUND: 156 @ 496.19 529.79 c Sol. found (all assignments made)... 529.79 o 155 529.79 c NEW SOLUTION FOUND: 155 @ 529.6 529.80 c Sol. found (all assignments made)... 529.81 c Sol. found (all assignments made)... 529.81 c Sol. found (all assignments made)... 529.81 o 153 529.81 c NEW SOLUTION FOUND: 153 @ 529.62 530.02 c Sol. found (all assignments made)... 530.03 c Sol. found (all assignments made)... 530.03 o 151 530.03 c NEW SOLUTION FOUND: 151 @ 529.84 531.35 c Sol. found (all assignments made)... 531.35 c Sol. found (all assignments made)... 532.27 c Sol. found (all assignments made)... 532.27 c Sol. found (all assignments made)... 532.27 o 149 532.27 c NEW SOLUTION FOUND: 149 @ 532.08 532.27 c Sol. found (all assignments made)... 532.27 o 147 532.27 c NEW SOLUTION FOUND: 147 @ 532.08 532.39 c Sol. found (all assignments made)... 532.39 o 145 532.39 c NEW SOLUTION FOUND: 145 @ 532.2 532.41 c Sol. found (all assignments made)... 532.64 c Sol. found (all assignments made)... 532.67 c Sol. found (all assignments made)... 532.67 o 143 532.67 c NEW SOLUTION FOUND: 143 @ 532.47 554.79 c Sol. found (all assignments made)... 554.79 c Sol. found (all assignments made)... 554.79 o 142 554.79 c NEW SOLUTION FOUND: 142 @ 554.59 588.17 c Sol. found (all assignments made)... 588.17 o 140 588.17 c NEW SOLUTION FOUND: 140 @ 587.96 591.85 c Sol. found (all assignments made)... 591.85 o 138 591.85 c NEW SOLUTION FOUND: 138 @ 591.64 591.86 c Sol. found (all assignments made)... 591.86 o 136 591.86 c NEW SOLUTION FOUND: 136 @ 591.64 592.82 c Sol. found (all assignments made)... 592.82 o 134 592.82 c NEW SOLUTION FOUND: 134 @ 592.6 592.85 c Sol. found (all assignments made)... 592.85 o 132 592.85 c NEW SOLUTION FOUND: 132 @ 592.64 659.75 c Restart #33 #Var: 120 LB: 0 @ 659.52 712.08 c Restart #34 #Var: 120 LB: 0 @ 711.83 744.43 c Sol. found (all assignments made)... 744.73 c Sol. found (all assignments made)... 744.73 o 130 744.73 c NEW SOLUTION FOUND: 130 @ 744.47 744.73 c Sol. found (all assignments made)... 744.73 o 128 744.73 c NEW SOLUTION FOUND: 128 @ 744.47 744.78 c Sol. found (all assignments made)... 744.78 o 126 744.78 c NEW SOLUTION FOUND: 126 @ 744.52 745.24 c Sol. found (all assignments made)... 745.24 o 124 745.24 c NEW SOLUTION FOUND: 124 @ 744.97 746.73 c Sol. found (all assignments made)... 746.73 o 122 746.73 c NEW SOLUTION FOUND: 122 @ 746.46 747.30 c Sol. found (all assignments made)... 747.30 o 120 747.30 c NEW SOLUTION FOUND: 120 @ 747.03 755.60 c Sol. found (all assignments made)... 755.60 o 116 755.60 c NEW SOLUTION FOUND: 116 @ 755.33 755.60 c Sol. found (all assignments made)... 755.60 o 114 755.60 c NEW SOLUTION FOUND: 114 @ 755.33 755.61 c Sol. found (all assignments made)... 755.61 o 110 755.61 c NEW SOLUTION FOUND: 110 @ 755.34 755.61 c Sol. found (all assignments made)... 755.61 o 108 755.61 c NEW SOLUTION FOUND: 108 @ 755.34 755.65 c Sol. found (all assignments made)... 755.65 o 106 755.65 c NEW SOLUTION FOUND: 106 @ 755.38 756.78 c Sol. found (all assignments made)... 756.78 o 104 756.78 c NEW SOLUTION FOUND: 104 @ 756.51 783.60 c Sol. found (all assignments made)... 783.60 o 102 783.60 c NEW SOLUTION FOUND: 102 @ 783.32 856.47 c Restart #35 #Var: 118 LB: 0 @ 856.17 906.80 c Restart #36 #Var: 118 LB: 0 @ 906.48 997.77 c Restart #37 #Var: 113 LB: 0 @ 997.42 1125.34 c Restart #38 #Var: 113 LB: 0 @ 1124.9 1235.22 c Restart #39 #Var: 112 LB: 0 @ 1234.8 1319.39 c Restart #40 #Var: 112 LB: 0 @ 1318.9 1424.84 c Restart #41 #Var: 111 LB: 0 @ 1424.3 1504.18 c Sol. found (all assignments made)... 1504.49 c Sol. found (all assignments made)... 1504.49 o 100 1504.49 c NEW SOLUTION FOUND: 100 @ 1504 1622.86 c Restart #42 #Var: 111 LB: 0 @ 1622.3 1737.73 c Restart #43 #Var: 110 LB: 0 @ 1737.1 1800.67 s SATISFIABLE 1800.67 c Cost: 100 1800.67 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 -x29 1800.67 v -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 -x55 -x56 1800.67 v -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 x82 1800.67 v -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 x108 -x109 1800.67 v -x110 -x111 -x112 -x113 x114 -x115 x116 x117 x118 x119 x120 1800.67 c Exit Code: 10 1800.67 c Total time: 1800 s
OK 100
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/node24/watcher-50319-1154103453 -o ROOT/results/node24/solver-50319-1154103453 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node24/50319-1154103453/instance-50319-1154103453.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/64 5178 /proc/meminfo: memFree=1517944/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=4664 CPUtime=0 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 120 0 0 0 0 0 0 0 19 0 1 0 157206027 4775936 102 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 2609240 0 0 4096 0 0 0 0 17 1 0 0 /proc/5178/statm: 1166 110 91 55 0 46 0 [startup+10.0019 s] /proc/loadavg: 0.93 0.98 0.99 2/64 5178 /proc/meminfo: memFree=1475320/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=47240 CPUtime=9.98 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 11053 0 0 0 989 9 0 0 25 0 1 0 157206027 48373760 10967 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134718704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 11810 10967 297 55 0 10702 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 47240 [startup+20.0077 s] /proc/loadavg: 0.94 0.98 0.99 2/64 5178 /proc/meminfo: memFree=1461368/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=61272 CPUtime=19.98 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 14535 0 0 0 1984 14 0 0 25 0 1 0 157206027 62742528 14449 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 15318 14449 297 55 0 14210 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 61272 [startup+30.0136 s] /proc/loadavg: 0.95 0.98 0.99 2/64 5178 /proc/meminfo: memFree=1449144/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=73452 CPUtime=29.98 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 17580 0 0 0 2980 18 0 0 25 0 1 0 157206027 75214848 17494 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 18363 17494 297 55 0 17255 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 73452 [startup+40.0195 s] /proc/loadavg: 0.96 0.98 0.99 2/64 5178 /proc/meminfo: memFree=1436600/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=86372 CPUtime=39.98 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 20840 0 0 0 3977 21 0 0 25 0 1 0 157206027 88444928 20750 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 21593 20750 420 55 0 20485 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 86372 [startup+50.0254 s] /proc/loadavg: 0.96 0.98 0.99 2/64 5178 /proc/meminfo: memFree=1429432/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=93768 CPUtime=49.99 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 22641 0 0 0 4975 24 0 0 25 0 1 0 157206027 96018432 22549 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 23442 22549 420 55 0 22334 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 93768 [startup+60.0313 s] /proc/loadavg: 0.97 0.98 0.99 2/64 5178 /proc/meminfo: memFree=1425528/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=97596 CPUtime=59.99 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 23604 0 0 0 5972 27 0 0 25 0 1 0 157206027 99938304 23511 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 24399 23511 420 55 0 23291 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 97596 [startup+70.0372 s] /proc/loadavg: 0.97 0.98 0.99 2/64 5178 /proc/meminfo: memFree=1422264/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=100920 CPUtime=70 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 24418 0 0 0 6972 28 0 0 25 0 1 0 157206027 103342080 24325 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 25230 24325 420 55 0 24122 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 100920 [startup+80.0431 s] /proc/loadavg: 0.98 0.98 0.99 2/64 5178 /proc/meminfo: memFree=1415480/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=107812 CPUtime=79.99 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 26123 0 0 0 7969 30 0 0 25 0 1 0 157206027 110399488 26030 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 26953 26030 420 55 0 25845 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 107812 [startup+90.049 s] /proc/loadavg: 0.98 0.98 0.99 2/64 5178 /proc/meminfo: memFree=1409336/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=114044 CPUtime=90 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 27650 0 0 0 8967 33 0 0 25 0 1 0 157206027 116781056 27557 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 28511 27557 420 55 0 27403 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 114044 [startup+100.055 s] /proc/loadavg: 0.98 0.98 0.99 2/64 5178 /proc/meminfo: memFree=1405176/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=118236 CPUtime=100 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 28707 0 0 0 9966 34 0 0 25 0 1 0 157206027 121073664 28611 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 29559 28611 420 55 0 28451 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 118236 [startup+110.061 s] /proc/loadavg: 0.98 0.98 0.99 2/64 5178 /proc/meminfo: memFree=1392888/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=130440 CPUtime=110.01 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 31748 0 0 0 10963 38 0 0 25 0 1 0 157206027 133570560 31648 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 32610 31648 420 55 0 31502 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 130440 [startup+120.067 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5178 /proc/meminfo: memFree=1387896/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=135540 CPUtime=120.01 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 33015 0 0 0 11961 40 0 0 25 0 1 0 157206027 138792960 32913 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529431 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 33885 32913 420 55 0 32777 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 135540 [startup+130.074 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5178 /proc/meminfo: memFree=1380024/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=143516 CPUtime=130.01 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 34990 0 0 0 12959 42 0 0 25 0 1 0 157206027 146960384 34888 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 35879 34888 420 55 0 34771 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 143516 [startup+140.081 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5178 /proc/meminfo: memFree=1377272/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=146288 CPUtime=140.01 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 35667 0 0 0 13958 43 0 0 25 0 1 0 157206027 149798912 35564 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 36572 35564 420 55 0 35464 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 146288 [startup+150.087 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5178 /proc/meminfo: memFree=1374904/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=148532 CPUtime=150.02 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 36258 0 0 0 14958 44 0 0 25 0 1 0 157206027 152096768 36155 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 37133 36155 420 55 0 36025 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 148532 [startup+160.093 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5178 /proc/meminfo: memFree=1367352/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=156188 CPUtime=160.02 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 38150 0 0 0 15956 46 0 0 25 0 1 0 157206027 159936512 38047 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 39047 38047 420 55 0 37939 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 156188 [startup+170.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5178 /proc/meminfo: memFree=1363768/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=159820 CPUtime=170.02 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 39042 0 0 0 16954 48 0 0 25 0 1 0 157206027 163655680 38935 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534898 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 39955 38935 420 55 0 38847 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 159820 [startup+180.107 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5178 /proc/meminfo: memFree=1363128/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=160480 CPUtime=180.03 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 39191 0 0 0 17954 49 0 0 25 0 1 0 157206027 164331520 39084 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 40120 39084 420 55 0 39012 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 160480 [startup+190.113 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5178 /proc/meminfo: memFree=1362616/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=161008 CPUtime=190.03 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 39332 0 0 0 18954 49 0 0 25 0 1 0 157206027 164872192 39225 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 40252 39225 420 55 0 39144 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 161008 [startup+200.119 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5178 /proc/meminfo: memFree=1361592/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=161932 CPUtime=200.03 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 39571 0 0 0 19954 49 0 0 25 0 1 0 157206027 165818368 39464 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 40483 39464 420 55 0 39375 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 161932 [startup+210.126 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5178 ################ # More data... # ################ Current children cumulated CPU time (s) 1760.45 Current children cumulated vsize (Kb) 335452 [startup+1771.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5180 /proc/meminfo: memFree=1188536/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=335980 CPUtime=1770.45 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 84524 0 0 0 176916 129 0 0 25 0 1 0 157206027 344043520 82630 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 83995 82630 420 55 0 82887 0 Current children cumulated CPU time (s) 1770.45 Current children cumulated vsize (Kb) 335980 [startup+1781.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5180 /proc/meminfo: memFree=1188024/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=336376 CPUtime=1780.45 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 84638 0 0 0 177916 129 0 0 25 0 1 0 157206027 344449024 82744 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 84094 82744 420 55 0 82986 0 Current children cumulated CPU time (s) 1780.45 Current children cumulated vsize (Kb) 336376 [startup+1782.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5180 /proc/meminfo: memFree=1188024/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=336508 CPUtime=1781.46 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 84647 0 0 0 178017 129 0 0 25 0 1 0 157206027 344584192 82753 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 84127 82753 420 55 0 83019 0 Current children cumulated CPU time (s) 1781.46 Current children cumulated vsize (Kb) 336508 [startup+1783.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5180 /proc/meminfo: memFree=1187960/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=336508 CPUtime=1782.46 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 84661 0 0 0 178117 129 0 0 25 0 1 0 157206027 344584192 82767 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 84127 82767 420 55 0 83019 0 Current children cumulated CPU time (s) 1782.46 Current children cumulated vsize (Kb) 336508 [startup+1784.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5180 /proc/meminfo: memFree=1187896/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=336508 CPUtime=1783.47 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 84672 0 0 0 178218 129 0 0 25 0 1 0 157206027 344584192 82778 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 84127 82778 420 55 0 83019 0 Current children cumulated CPU time (s) 1783.47 Current children cumulated vsize (Kb) 336508 [startup+1785.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5180 /proc/meminfo: memFree=1187896/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=336640 CPUtime=1784.47 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 84682 0 0 0 178318 129 0 0 25 0 1 0 157206027 344719360 82788 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 84160 82788 420 55 0 83052 0 Current children cumulated CPU time (s) 1784.47 Current children cumulated vsize (Kb) 336640 [startup+1786.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5180 /proc/meminfo: memFree=1187832/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=336640 CPUtime=1785.48 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 84691 0 0 0 178419 129 0 0 25 0 1 0 157206027 344719360 82797 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548497 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 84160 82797 420 55 0 83052 0 Current children cumulated CPU time (s) 1785.48 Current children cumulated vsize (Kb) 336640 [startup+1787.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5180 /proc/meminfo: memFree=1187768/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=336640 CPUtime=1786.48 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 84701 0 0 0 178519 129 0 0 25 0 1 0 157206027 344719360 82807 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 84160 82807 420 55 0 83052 0 Current children cumulated CPU time (s) 1786.48 Current children cumulated vsize (Kb) 336640 [startup+1788.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5180 /proc/meminfo: memFree=1187704/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=336772 CPUtime=1787.49 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 84722 0 0 0 178620 129 0 0 25 0 1 0 157206027 344854528 82828 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 84193 82828 420 55 0 83085 0 Current children cumulated CPU time (s) 1787.49 Current children cumulated vsize (Kb) 336772 [startup+1789.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5180 /proc/meminfo: memFree=1187640/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=336772 CPUtime=1788.49 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 84732 0 0 0 178720 129 0 0 25 0 1 0 157206027 344854528 82838 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 84193 82838 420 55 0 83085 0 Current children cumulated CPU time (s) 1788.49 Current children cumulated vsize (Kb) 336772 [startup+1790.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5180 /proc/meminfo: memFree=1187640/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=336772 CPUtime=1789.5 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 84741 0 0 0 178821 129 0 0 25 0 1 0 157206027 344854528 82847 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 84193 82847 420 55 0 83085 0 Current children cumulated CPU time (s) 1789.5 Current children cumulated vsize (Kb) 336772 [startup+1791.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5180 /proc/meminfo: memFree=1187576/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=336904 CPUtime=1790.5 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 84751 0 0 0 178921 129 0 0 25 0 1 0 157206027 344989696 82857 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548421 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 84226 82857 420 55 0 83118 0 Current children cumulated CPU time (s) 1790.5 Current children cumulated vsize (Kb) 336904 [startup+1792.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5180 /proc/meminfo: memFree=1187576/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=336904 CPUtime=1791.5 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 84757 0 0 0 179021 129 0 0 25 0 1 0 157206027 344989696 82863 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 84226 82863 420 55 0 83118 0 Current children cumulated CPU time (s) 1791.5 Current children cumulated vsize (Kb) 336904 [startup+1793.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5180 /proc/meminfo: memFree=1187512/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=336904 CPUtime=1792.51 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 84773 0 0 0 179122 129 0 0 25 0 1 0 157206027 344989696 82879 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528720 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 84226 82879 420 55 0 83118 0 Current children cumulated CPU time (s) 1792.51 Current children cumulated vsize (Kb) 336904 [startup+1794.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5180 /proc/meminfo: memFree=1187448/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=337036 CPUtime=1793.51 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 84783 0 0 0 179222 129 0 0 25 0 1 0 157206027 345124864 82889 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 84259 82889 420 55 0 83151 0 Current children cumulated CPU time (s) 1793.51 Current children cumulated vsize (Kb) 337036 [startup+1795.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5180 /proc/meminfo: memFree=1187384/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=337036 CPUtime=1794.52 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 84799 0 0 0 179323 129 0 0 25 0 1 0 157206027 345124864 82905 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 84259 82905 420 55 0 83151 0 Current children cumulated CPU time (s) 1794.52 Current children cumulated vsize (Kb) 337036 [startup+1796.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5180 /proc/meminfo: memFree=1187384/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=337036 CPUtime=1795.52 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 84809 0 0 0 179423 129 0 0 25 0 1 0 157206027 345124864 82915 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 84259 82915 420 55 0 83151 0 Current children cumulated CPU time (s) 1795.52 Current children cumulated vsize (Kb) 337036 [startup+1797.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5180 /proc/meminfo: memFree=1187320/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=337168 CPUtime=1796.53 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 84821 0 0 0 179524 129 0 0 25 0 1 0 157206027 345260032 82927 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 84292 82927 420 55 0 83184 0 Current children cumulated CPU time (s) 1796.53 Current children cumulated vsize (Kb) 337168 [startup+1798.17 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5180 /proc/meminfo: memFree=1187256/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=337168 CPUtime=1797.53 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 84833 0 0 0 179624 129 0 0 25 0 1 0 157206027 345260032 82939 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 84292 82939 420 55 0 83184 0 Current children cumulated CPU time (s) 1797.53 Current children cumulated vsize (Kb) 337168 [startup+1799.17 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5180 /proc/meminfo: memFree=1187192/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=337300 CPUtime=1798.54 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 84846 0 0 0 179725 129 0 0 25 0 1 0 157206027 345395200 82952 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 84325 82952 420 55 0 83217 0 Current children cumulated CPU time (s) 1798.54 Current children cumulated vsize (Kb) 337300 [startup+1800.18 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5180 /proc/meminfo: memFree=1187192/2055920 swapFree=4183196/4192956 [pid=5178] ppid=5176 vsize=337300 CPUtime=1799.54 /proc/5178/stat : 5178 (bsolo) R 5176 5178 5129 0 -1 0 84855 0 0 0 179825 129 0 0 25 0 1 0 157206027 345395200 82961 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5178/statm: 84325 82961 420 55 0 83217 0 Current children cumulated CPU time (s) 1799.54 Current children cumulated vsize (Kb) 337300 Child status: 10 Real time (s): 1800.73 CPU time (s): 1800.1 CPU user time (s): 1798.74 CPU system time (s): 1.35679 CPU usage (%): 99.965 Max. virtual memory (cumulated for all children) (Kb): 337300 The end
Begin job on node24 on Fri Jul 28 16:17:33 UTC 2006 FILE ID= 50319-1154103453 PBS_JOBID= 886202 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_4.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node24/50319-1154103453/instance-50319-1154103453.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-50319-1154103453 -o ROOT/results/node24/solver-50319-1154103453 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node24/50319-1154103453/instance-50319-1154103453.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= a470052ca6f8034e2c6c08868e52d9e8 RANDOM SEED= 200024995 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.266 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.266 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: 1518088 kB Buffers: 36456 kB Cached: 442196 kB SwapCached: 3672 kB Active: 49500 kB Inactive: 437776 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1518088 kB SwapTotal: 4192956 kB SwapFree: 4183196 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14492 kB Slab: 36452 kB Committed_AS: 618896 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node24 on Fri Jul 28 16:47:34 UTC 2006