Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | OPT | 1053 | 184.725 | 184.778 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cmb.opb |
MD5SUM | 8aa1aebf70d33d96463ba96014c98682 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1053 |
Best CPU time to get the best result obtained on this benchmark | 0.095984 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1053 |
Optimality of the best value was proved | YES |
Number of variables | 304 |
Total number of constraints | 671 |
Number of constraints which are clauses | 671 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 28 |
Number of terms in the objective function | 304 |
Biggest coefficient in the objective function | 61 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 12887 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 61 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 12887 |
Number of bits of the biggest sum of numbers | 14 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680751-1277453292.opb. 0.00/0.00 c Instance file HOME/instance-2680751-1277453292.opb 0.00/0.00 c File size is 33368 bytes. 0.00/0.00 c Highest Coefficient sum: 29 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 304 | 0.00/0.00 c | Number Clauses: 671 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 298 676 3359 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 1547 0.00/0.01 o 1547 0.00/0.01 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 298 677 3663 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 1524 0.00/0.01 o 1524 0.00/0.01 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 1 | 298 678 3967 | 5000 1 81 | 0.000 % | 0.00/0.01 c | 102 | 298 678 3967 | 5500 102 54 | 1.975 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 1493 0.00/0.01 o 1493 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 102 | 298 679 4271 | 5000 102 54 | 1.975 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 1411 0.00/0.01 o 1411 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 102 | 298 680 4575 | 5000 102 54 | 1.975 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 1318 0.00/0.01 o 1318 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 102 | 298 681 4879 | 5000 102 54 | 1.975 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 1295 0.00/0.02 o 1295 0.00/0.02 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 126 | 298 682 5183 | 5000 126 55 | 1.975 % | 0.00/0.02 c | 228 | 298 682 5183 | 5500 228 53 | 1.975 % | 0.00/0.04 c | 379 | 298 682 5183 | 6050 379 55 | 1.975 % | 0.04/0.05 c | 604 | 298 682 5183 | 6655 604 56 | 1.975 % | 0.04/0.08 c | 942 | 298 682 5183 | 7320 942 60 | 1.975 % | 0.09/0.11 c | 1448 | 298 682 5183 | 8052 1448 55 | 1.975 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c New solution: 1294 0.09/0.12 o 1294 0.09/0.12 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s 0.09/0.12 c =============================================================================== 0.09/0.12 c | 1460 | 298 683 5487 | 5000 1460 55 | 1.975 % | 0.09/0.12 c | 1561 | 298 683 5487 | 5500 1561 54 | 1.976 % | 0.09/0.14 c | 1711 | 298 683 5487 | 6050 1711 55 | 1.975 % | 0.09/0.16 c | 1936 | 298 683 5487 | 6655 1936 54 | 1.975 % | 0.09/0.19 c | 2273 | 298 683 5487 | 7320 2273 55 | 1.975 % | 0.19/0.23 c | 2779 | 298 683 5487 | 8052 2779 57 | 1.976 % | 0.19/0.29 c | 3538 | 298 683 5487 | 8857 3538 58 | 1.975 % | 0.29/0.39 c | 4678 | 298 683 5487 | 9743 4678 56 | 1.975 % | 0.49/0.54 c | 6388 | 298 683 5487 | 10717 6388 57 | 1.975 % | 0.69/0.78 c | 8951 | 298 683 5487 | 11789 8951 59 | 1.975 % | 1.10/1.18 c | 12795 | 298 683 5487 | 12968 6798 60 | 1.975 % | 1.79/1.83 c | 18561 | 298 683 5487 | 14265 12564 59 | 1.987 % | 2.20/2.28 c =============================================================================== 2.20/2.28 c New solution: 1292 2.20/2.28 o 1292 2.20/2.28 c Elapsed CPU time: 2.22166 s Remaining CPU time: 177.778 s 2.20/2.28 c =============================================================================== 2.20/2.28 c | 22839 | 298 684 5791 | 5000 9592 59 | 1.987 % | 2.29/2.30 c | 22939 | 298 684 5791 | 5500 4896 59 | 1.975 % | 2.29/2.32 c | 23090 | 298 684 5791 | 6050 5047 59 | 1.975 % | 2.29/2.34 c | 23315 | 298 684 5791 | 6655 5272 59 | 1.975 % | 2.29/2.37 c | 23654 | 298 684 5791 | 7320 5611 59 | 1.983 % | 2.39/2.43 c | 24160 | 298 684 5791 | 8052 6117 58 | 1.975 % | 2.49/2.50 c | 24922 | 298 684 5791 | 8857 6879 59 | 1.976 % | 2.59/2.61 c | 26062 | 298 684 5791 | 9743 8019 59 | 1.976 % | 2.69/2.78 c | 27772 | 298 684 5791 | 10717 9729 58 | 1.975 % | 2.99/3.06 c | 30335 | 298 684 5791 | 11789 6845 60 | 1.975 % | 3.49/3.50 c | 34180 | 298 684 5791 | 12968 10690 60 | 1.975 % | 4.09/4.13 c | 39948 | 298 684 5791 | 14265 9888 59 | 1.975 % | 5.29/5.32 c | 48598 | 298 684 5791 | 15692 11292 66 | 1.975 % | 6.99/7.05 c | 61572 | 298 684 5791 | 17261 8354 70 | 1.975 % | 7.29/7.37 c =============================================================================== 7.29/7.37 c New solution: 1286 7.29/7.37 o 1286 7.29/7.37 c Elapsed CPU time: 7.2009 s Remaining CPU time: 172.799 s 7.29/7.37 c =============================================================================== 7.29/7.37 c | 65013 | 298 685 6095 | 5000 11795 64 | 1.975 % | 7.39/7.41 c | 65114 | 298 685 6095 | 5500 3050 51 | 1.975 % | 7.39/7.43 c | 65265 | 298 685 6095 | 6050 3201 51 | 1.976 % | 7.39/7.45 c | 65493 | 298 685 6095 | 6655 3429 51 | 1.975 % | 7.39/7.48 c | 65831 | 298 685 6095 | 7320 3767 51 | 1.975 % | 7.49/7.53 c | 66337 | 298 685 6095 | 8052 4273 51 | 1.975 % | 7.59/7.61 c | 67096 | 298 685 6095 | 8857 5032 52 | 1.975 % | 7.69/7.73 c | 68235 | 298 685 6095 | 9743 6171 54 | 1.975 % | 7.89/7.92 c | 69944 | 298 685 6095 | 10717 7880 57 | 1.975 % | 8.19/8.20 c | 72506 | 298 685 6095 | 11789 10442 57 | 1.975 % | 8.59/8.68 c | 76351 | 298 685 6095 | 12968 8295 60 | 1.985 % | 9.28/9.38 c | 82117 | 298 685 6095 | 14265 7476 52 | 1.975 % | 10.49/10.50 c | 90767 | 298 685 6095 | 15692 8890 64 | 1.975 % | 12.19/12.27 c | 103743 | 298 685 6095 | 17261 13903 57 | 1.975 % | 15.09/15.13 c | 123204 | 298 685 6095 | 18987 15909 57 | 1.975 % | 18.98/19.01 c | 152397 | 298 685 6095 | 20886 16307 58 | 1.975 % | 19.59/19.65 c =============================================================================== 19.59/19.65 c New solution: 1280 19.59/19.65 o 1280 19.59/19.65 c Elapsed CPU time: 19.1991 s Remaining CPU time: 160.801 s 19.59/19.65 c =============================================================================== 19.59/19.65 c | 158057 | 298 686 6399 | 5000 11399 57 | 1.975 % | 19.59/19.68 c | 158158 | 298 686 6399 | 5500 2951 59 | 1.975 % | 19.59/19.70 c | 158309 | 298 686 6399 | 6050 3102 59 | 1.975 % | 19.69/19.72 c | 158535 | 298 686 6399 | 6655 3328 58 | 1.976 % | 19.69/19.75 c | 158873 | 298 686 6399 | 7320 3666 58 | 1.975 % | 19.79/19.80 c | 159380 | 298 686 6399 | 8052 4173 57 | 1.975 % | 19.79/19.88 c | 160139 | 298 686 6399 | 8857 4932 58 | 1.975 % | 19.89/19.99 c | 161282 | 298 686 6399 | 9743 6075 57 | 1.975 % | 20.09/20.18 c | 162991 | 298 686 6399 | 10717 7784 58 | 1.975 % | 20.39/20.46 c | 165554 | 298 686 6399 | 11789 10347 57 | 1.975 % | 20.89/20.94 c | 169399 | 298 686 6399 | 12968 8190 60 | 1.975 % | 21.59/21.66 c | 175165 | 298 686 6399 | 14265 7374 51 | 1.975 % | 22.78/22.81 c | 183814 | 298 686 6399 | 15692 8782 67 | 1.985 % | 24.38/24.40 c | 196788 | 298 686 6399 | 17261 13817 61 | 1.975 % | 27.28/27.38 c | 216251 | 298 686 6399 | 18987 15817 67 | 1.975 % | 32.19/32.27 c | 245445 | 298 686 6399 | 20886 16213 77 | 1.975 % | 39.98/40.02 c | 289236 | 298 686 6399 | 22974 17828 64 | 1.975 % | 52.18/52.27 c | 354920 | 298 686 6399 | 25272 12241 58 | 1.975 % | 52.79/52.87 c =============================================================================== 52.79/52.87 c New solution: 1277 52.79/52.87 o 1277 52.79/52.87 c Elapsed CPU time: 51.8091 s Remaining CPU time: 128.191 s 52.79/52.87 c =============================================================================== 52.79/52.87 c | 359910 | 298 687 6703 | 5000 17231 58 | 1.975 % | 52.88/52.94 c | 360010 | 298 687 6703 | 5500 4408 56 | 1.975 % | 52.88/52.96 c | 360161 | 298 687 6703 | 6050 4559 56 | 1.975 % | 52.88/52.98 c | 360386 | 298 687 6703 | 6655 4784 56 | 1.975 % | 52.97/53.02 c | 360724 | 298 687 6703 | 7320 5122 57 | 1.975 % | 52.97/53.07 c | 361231 | 298 687 6703 | 8052 5629 56 | 1.975 % | 53.08/53.16 c | 361991 | 298 687 6703 | 8857 6389 56 | 1.975 % | 53.17/53.28 c | 363133 | 298 687 6703 | 9743 7531 55 | 1.975 % | 53.48/53.51 c | 364841 | 298 687 6703 | 10717 9239 55 | 1.980 % | 53.79/53.87 c | 367404 | 298 687 6703 | 11789 6358 53 | 1.975 % | 54.18/54.29 c | 371249 | 298 687 6703 | 12968 10203 54 | 1.975 % | 54.88/54.99 c | 377016 | 298 687 6703 | 14265 9410 52 | 1.975 % | 56.27/56.32 c | 385665 | 298 687 6703 | 15692 10812 70 | 1.975 % | 58.18/58.23 c | 398640 | 298 687 6703 | 17261 15841 65 | 1.975 % | 61.17/61.23 c | 418103 | 298 687 6703 | 18987 9061 60 | 1.981 % | 65.97/66.02 c | 447301 | 298 687 6703 | 20886 19099 54 | 1.975 % | 72.97/73.02 c | 491090 | 298 687 6703 | 22974 20692 62 | 1.975 % | 86.07/86.14 c | 556776 | 298 687 6703 | 25272 15594 54 | 1.975 % | 105.46/105.58 c | 655302 | 298 687 6703 | 27799 15972 64 | 1.975 % | 134.55/134.67 c | 803091 | 298 687 6703 | 30579 16933 55 | 1.975 % | 179.04/179.15 c | 1024774 | 298 687 6703 | 33637 27277 67 | 1.975 % | 183.24/183.39 c There are 6 assigned variables. 6 in cost function. 184.64/184.71 c core #1 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 19 Core Weight: 32 Total Weight: 199 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #2 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 20 Core Weight: 11 Total Weight: 210 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #3 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 20 Core Weight: 7 Total Weight: 217 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #4 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 7 Core Weight: 32 Total Weight: 249 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #5 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 26 Core Weight: 16 Total Weight: 265 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #6 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 5 Core Weight: 35 Total Weight: 300 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #7 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 23 Core Weight: 32 Total Weight: 332 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #8 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 29 Core Weight: 11 Total Weight: 343 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #9 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 29 Core Weight: 7 Total Weight: 350 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #10 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 21 Core Weight: 9 Total Weight: 359 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #11 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 21 Core Weight: 9 Total Weight: 368 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #12 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 5 Core Weight: 32 Total Weight: 400 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #13 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 6 Core Weight: 10 Total Weight: 410 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #14 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 9 Core Weight: 8 Total Weight: 418 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #15 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 4 Core Weight: 16 Total Weight: 434 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #16 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 4 Core Weight: 42 Total Weight: 476 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #17 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 4 Core Weight: 34 Total Weight: 510 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #18 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 4 Core Weight: 34 Total Weight: 544 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #19 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 4 Core Weight: 42 Total Weight: 586 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #20 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 4 Core Weight: 34 Total Weight: 620 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #21 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 11 Core Weight: 32 Total Weight: 652 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #22 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 19 Core Weight: 7 Total Weight: 659 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #23 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 11 Core Weight: 32 Total Weight: 691 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #24 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 19 Core Weight: 7 Total Weight: 698 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #25 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 11 Core Weight: 32 Total Weight: 730 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #26 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 19 Core Weight: 11 Total Weight: 741 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #27 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 11 Core Weight: 24 Total Weight: 765 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #28 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 19 Core Weight: 11 Total Weight: 776 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #29 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 12 Core Weight: 8 Total Weight: 784 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #30 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 13 Core Weight: 16 Total Weight: 800 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #31 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 12 Core Weight: 8 Total Weight: 808 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #32 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 6 Core Weight: 34 Total Weight: 842 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #33 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 10 Core Weight: 15 Total Weight: 857 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #34 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 6 Core Weight: 34 Total Weight: 891 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #35 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 10 Core Weight: 15 Total Weight: 906 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #36 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 6 Core Weight: 34 Total Weight: 940 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #37 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 10 Core Weight: 16 Total Weight: 956 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #38 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 6 Core Weight: 34 Total Weight: 990 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #39 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 10 Core Weight: 16 Total Weight: 1006 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #40 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 24 Core Weight: 3 Total Weight: 1009 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #41 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 23 Core Weight: 4 Total Weight: 1013 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #42 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 23 Core Weight: 4 Total Weight: 1017 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #43 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 37 Core Weight: 1 Total Weight: 1018 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #44 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 46 Core Weight: 4 Total Weight: 1022 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #45 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 46 Core Weight: 1 Total Weight: 1023 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #46 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 22 Core Weight: 2 Total Weight: 1025 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #47 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 22 Core Weight: 1 Total Weight: 1026 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #48 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 11 Core Weight: 1 Total Weight: 1027 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #49 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 32 Core Weight: 4 Total Weight: 1031 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #50 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 32 Core Weight: 3 Total Weight: 1034 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #51 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 13 Core Weight: 2 Total Weight: 1036 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #52 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 17 Core Weight: 4 Total Weight: 1040 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #53 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 13 Core Weight: 1 Total Weight: 1041 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #54 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 52 Core Weight: 2 Total Weight: 1043 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #55 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 16 Core Weight: 2 Total Weight: 1045 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #56 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 16 Core Weight: 4 Total Weight: 1049 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #57 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 31 Core Weight: 1 Total Weight: 1050 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c core #58 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c Core size: 36 Core Weight: 1 Total Weight: 1051 184.64/184.71 c 184.64/184.71 c 184.64/184.71 c ============================[ Search Statistics ]============================== 184.64/184.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.64/184.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.64/184.72 c =============================================================================== 184.64/184.72 c | 0 | 667 1763 5697 | 5000 0 nan | 0.000 % | 184.64/184.72 c =============================================================================== 184.64/184.72 c core #59 184.64/184.72 c 184.64/184.72 c 184.64/184.72 c Core size: 56 Core Weight: 1 Total Weight: 1052 184.64/184.72 c 184.64/184.72 c 184.64/184.72 c ============================[ Search Statistics ]============================== 184.64/184.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.64/184.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.64/184.72 c =============================================================================== 184.64/184.72 c | 0 | 709 1804 5764 | 5000 0 nan | 0.000 % | 184.64/184.72 c =============================================================================== 184.64/184.73 c core #60 184.64/184.73 c 184.64/184.73 c 184.64/184.73 c Core size: 66 Core Weight: 1 Total Weight: 1053 184.64/184.73 c 184.64/184.73 c 184.64/184.73 c ============================[ Search Statistics ]============================== 184.64/184.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.64/184.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.64/184.73 c =============================================================================== 184.64/184.73 c | 0 | 760 1850 5830 | 5000 0 nan | 0.000 % | 184.64/184.73 c =============================================================================== 184.64/184.73 c #cores: 60 184.64/184.73 c Final Weight: 1053 184.64/184.73 o 1053 184.64/184.73 s OPTIMUM FOUND 184.64/184.73 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 -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 -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 -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 -x110 x111 x112 x113 x114 -x115 -x116 -x117 x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 x220 x221 x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 x261 x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 184.64/184.73 c Total CPU time: 181.347 s
OK 1053
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680751-1277453292/watcher-2680751-1277453292 -o /tmp/evaluation-result-2680751-1277453292/solver-2680751-1277453292 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680751-1277453292.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.01 0.99 0.78 3/106 28941 /proc/meminfo: memFree=1855304/2059040 swapFree=4140112/4192956 [pid=28941] ppid=28939 vsize=2572 CPUtime=0 /proc/28941/stat : 28941 (wbo1.4b) R 28939 28941 28782 0 -1 4202496 301 0 0 0 0 0 0 0 23 0 1 0 86623671 2633728 211 1992294400 134512640 135752675 4287137600 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28941/statm: 643 211 141 303 0 338 0 [startup+0.0539649 s] /proc/loadavg: 1.01 0.99 0.78 3/106 28941 /proc/meminfo: memFree=1855304/2059040 swapFree=4140112/4192956 [pid=28941] ppid=28939 vsize=2836 CPUtime=0.04 /proc/28941/stat : 28941 (wbo1.4b) R 28939 28941 28782 0 -1 4202496 353 0 0 0 4 0 0 0 23 0 1 0 86623671 2904064 263 1992294400 134512640 135752675 4287137600 18446744073709551615 134638128 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28941/statm: 709 263 145 303 0 404 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2836 [startup+0.100969 s] /proc/loadavg: 1.01 0.99 0.78 3/106 28941 /proc/meminfo: memFree=1855304/2059040 swapFree=4140112/4192956 [pid=28941] ppid=28939 vsize=2968 CPUtime=0.09 /proc/28941/stat : 28941 (wbo1.4b) R 28939 28941 28782 0 -1 4202496 411 0 0 0 9 0 0 0 23 0 1 0 86623671 3039232 321 1992294400 134512640 135752675 4287137600 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28941/statm: 742 321 145 303 0 437 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2968 [startup+0.300986 s] /proc/loadavg: 1.01 0.99 0.78 3/106 28941 /proc/meminfo: memFree=1855304/2059040 swapFree=4140112/4192956 [pid=28941] ppid=28939 vsize=3888 CPUtime=0.29 /proc/28941/stat : 28941 (wbo1.4b) R 28939 28941 28782 0 -1 4202496 627 0 0 0 28 1 0 0 23 0 1 0 86623671 3981312 537 1992294400 134512640 135752675 4287137600 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28941/statm: 972 537 145 303 0 667 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3888 [startup+0.70102 s] /proc/loadavg: 1.01 0.99 0.78 3/106 28941 /proc/meminfo: memFree=1855304/2059040 swapFree=4140112/4192956 [pid=28941] ppid=28939 vsize=5612 CPUtime=0.69 /proc/28941/stat : 28941 (wbo1.4b) R 28939 28941 28782 0 -1 4202496 1040 0 0 0 67 2 0 0 25 0 1 0 86623671 5746688 950 1992294400 134512640 135752675 4287137600 18446744073709551615 134605428 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28941/statm: 1403 950 145 303 0 1098 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5612 [startup+1.50109 s] /proc/loadavg: 1.01 0.99 0.78 2/107 28942 /proc/meminfo: memFree=1850956/2059040 swapFree=4140112/4192956 [pid=28941] ppid=28939 vsize=8212 CPUtime=1.49 /proc/28941/stat : 28941 (wbo1.4b) R 28939 28941 28782 0 -1 4202496 1715 0 0 0 145 4 0 0 25 0 1 0 86623671 8409088 1625 1992294400 134512640 135752675 4287137600 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28941/statm: 2053 1625 145 303 0 1748 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8212 [startup+3.10123 s] /proc/loadavg: 1.00 0.99 0.78 2/107 28942 /proc/meminfo: memFree=1847112/2059040 swapFree=4140112/4192956 [pid=28941] ppid=28939 vsize=13580 CPUtime=3.09 /proc/28941/stat : 28941 (wbo1.4b) R 28939 28941 28782 0 -1 4202496 3043 0 0 0 302 7 0 0 25 0 1 0 86623671 13905920 2953 1992294400 134512640 135752675 4287137600 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28941/statm: 3395 2953 145 303 0 3090 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13580 [startup+6.3005 s] /proc/loadavg: 1.00 0.99 0.78 2/107 28942 /proc/meminfo: memFree=1836696/2059040 swapFree=4140112/4192956 [pid=28941] ppid=28939 vsize=23176 CPUtime=6.29 /proc/28941/stat : 28941 (wbo1.4b) R 28939 28941 28782 0 -1 4202496 5440 0 0 0 615 14 0 0 25 0 1 0 86623671 23732224 5350 1992294400 134512640 135752675 4287137600 18446744073709551615 134605531 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28941/statm: 5794 5350 145 303 0 5489 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23176 [startup+12.7011 s] /proc/loadavg: 1.00 0.99 0.78 2/107 28942 /proc/meminfo: memFree=1817848/2059040 swapFree=4140112/4192956 [pid=28941] ppid=28939 vsize=40940 CPUtime=12.69 /proc/28941/stat : 28941 (wbo1.4b) R 28939 28941 28782 0 -1 4202496 9898 0 0 0 1240 29 0 0 25 0 1 0 86623671 41922560 9808 1992294400 134512640 135752675 4287137600 18446744073709551615 134602989 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28941/statm: 10235 9808 145 303 0 9930 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 40940 [startup+25.5012 s] /proc/loadavg: 1.00 0.99 0.78 2/107 28942 /proc/meminfo: memFree=1783376/2059040 swapFree=4140112/4192956 [pid=28941] ppid=28939 vsize=74544 CPUtime=25.49 /proc/28941/stat : 28941 (wbo1.4b) R 28939 28941 28782 0 -1 4202496 18272 0 0 0 2491 58 0 0 25 0 1 0 86623671 76333056 18182 1992294400 134512640 135752675 4287137600 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28941/statm: 18636 18182 145 303 0 18331 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 74544 [startup+51.1014 s] /proc/loadavg: 1.00 0.99 0.79 2/107 28944 /proc/meminfo: memFree=1729064/2059040 swapFree=4140112/4192956 [pid=28941] ppid=28939 vsize=128908 CPUtime=51.08 /proc/28941/stat : 28941 (wbo1.4b) R 28939 28941 28782 0 -1 4202496 31867 0 0 0 5007 101 0 0 25 0 1 0 86623671 132001792 31777 1992294400 134512640 135752675 4287137600 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28941/statm: 32227 31777 145 303 0 31922 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 128908 [startup+102.309 s] /proc/loadavg: 1.05 1.00 0.80 2/107 28944 /proc/meminfo: memFree=1623540/2059040 swapFree=4140112/4192956 [pid=28941] ppid=28939 vsize=233332 CPUtime=102.27 /proc/28941/stat : 28941 (wbo1.4b) R 28939 28941 28782 0 -1 4202496 57955 0 0 0 10029 198 0 0 25 0 1 0 86623671 238931968 57865 1992294400 134512640 135752675 4287137600 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28941/statm: 58333 57865 145 303 0 58028 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 233332 [startup+162.301 s] /proc/loadavg: 1.02 1.00 0.82 2/107 28946 /proc/meminfo: memFree=1524588/2059040 swapFree=4140112/4192956 [pid=28941] ppid=28939 vsize=332964 CPUtime=162.24 /proc/28941/stat : 28941 (wbo1.4b) R 28939 28941 28782 0 -1 4202496 82830 0 0 0 15928 296 0 0 25 0 1 0 86623671 340955136 82740 1992294400 134512640 135752675 4287137600 18446744073709551615 134605424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28941/statm: 83241 82741 145 303 0 82936 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 332964 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 1.02 1.00 0.82 2/107 28946 /proc/meminfo: memFree=1518140/2059040 swapFree=4140112/4192956 [pid=28941] ppid=28939 vsize=338852 CPUtime=166.24 /proc/28941/stat : 28941 (wbo1.4b) R 28939 28941 28782 0 -1 4202496 84282 0 0 0 16321 303 0 0 25 0 1 0 86623671 346984448 84192 1992294400 134512640 135752675 4287137600 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28941/statm: 84713 84192 145 303 0 84408 0 Current children cumulated CPU time (s) 166.24 Current children cumulated vsize (KiB) 338852 [startup+172.709 s] /proc/loadavg: 1.01 1.00 0.82 2/107 28946 /proc/meminfo: memFree=1508716/2059040 swapFree=4140112/4192956 [pid=28941] ppid=28939 vsize=347956 CPUtime=172.65 /proc/28941/stat : 28941 (wbo1.4b) R 28939 28941 28782 0 -1 4202496 86565 0 0 0 16952 313 0 0 25 0 1 0 86623671 356306944 86475 1992294400 134512640 135752675 4287137600 18446744073709551615 134605371 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28941/statm: 86989 86475 145 303 0 86684 0 Current children cumulated CPU time (s) 172.65 Current children cumulated vsize (KiB) 347956 [startup+179.101 s] /proc/loadavg: 1.01 1.00 0.82 2/107 28946 /proc/meminfo: memFree=1498424/2059040 swapFree=4140112/4192956 [pid=28941] ppid=28939 vsize=359740 CPUtime=179.04 /proc/28941/stat : 28941 (wbo1.4b) R 28939 28941 28782 0 -1 4202496 89494 0 0 0 17580 324 0 0 25 0 1 0 86623671 368373760 89404 1992294400 134512640 135752675 4287137600 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28941/statm: 89935 89404 145 303 0 89630 0 Current children cumulated CPU time (s) 179.04 Current children cumulated vsize (KiB) 359740 [startup+182.302 s] /proc/loadavg: 1.01 1.00 0.82 2/107 28946 /proc/meminfo: memFree=1492100/2059040 swapFree=4140112/4192956 [pid=28941] ppid=28939 vsize=366240 CPUtime=182.24 /proc/28941/stat : 28941 (wbo1.4b) R 28939 28941 28782 0 -1 4202496 91132 0 0 0 17893 331 0 0 25 0 1 0 86623671 375029760 91042 1992294400 134512640 135752675 4287137600 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28941/statm: 91560 91042 145 303 0 91255 0 Current children cumulated CPU time (s) 182.24 Current children cumulated vsize (KiB) 366240 [startup+183.901 s] /proc/loadavg: 1.01 1.00 0.82 2/107 28946 /proc/meminfo: memFree=1488380/2059040 swapFree=4140112/4192956 [pid=28941] ppid=28939 vsize=368072 CPUtime=183.84 /proc/28941/stat : 28941 (wbo1.4b) R 28939 28941 28782 0 -1 4202496 91609 0 0 0 18051 333 0 0 25 0 1 0 86623671 376905728 91519 1992294400 134512640 135752675 4287137600 18446744073709551615 135221551 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28941/statm: 92018 91519 145 303 0 91713 0 Current children cumulated CPU time (s) 183.84 Current children cumulated vsize (KiB) 368072 [startup+184.301 s] /proc/loadavg: 1.01 1.00 0.82 2/107 28946 /proc/meminfo: memFree=1488380/2059040 swapFree=4140112/4192956 [pid=28941] ppid=28939 vsize=368072 CPUtime=184.24 /proc/28941/stat : 28941 (wbo1.4b) R 28939 28941 28782 0 -1 4202496 91609 0 0 0 18091 333 0 0 25 0 1 0 86623671 376905728 91519 1992294400 134512640 135752675 4287137600 18446744073709551615 135200881 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28941/statm: 92018 91519 145 303 0 91713 0 Current children cumulated CPU time (s) 184.24 Current children cumulated vsize (KiB) 368072 [startup+184.701 s] /proc/loadavg: 1.01 1.00 0.82 2/107 28946 /proc/meminfo: memFree=1488380/2059040 swapFree=4140112/4192956 [pid=28941] ppid=28939 vsize=367908 CPUtime=184.64 /proc/28941/stat : 28941 (wbo1.4b) R 28939 28941 28782 0 -1 4202496 91613 0 0 0 18131 333 0 0 25 0 1 0 86623671 376737792 91489 1992294400 134512640 135752675 4287137600 18446744073709551615 135200881 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28941/statm: 91977 91489 146 303 0 91672 0 Current children cumulated CPU time (s) 184.64 Current children cumulated vsize (KiB) 367908 Child status: 0 Real time (s): 184.778 CPU time (s): 184.725 CPU user time (s): 181.347 CPU system time (s): 3.37749 CPU usage (%): 99.9714 Max. virtual memory (cumulated for all children) (KiB): 368072 getrusage(RUSAGE_CHILDREN,...) data: user time used= 181.347 system time used= 3.37749 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 91618 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 569 runsolver used 0.32395 second user time and 0.877866 second system time The end
Begin job on node031 at 2010-06-25 10:08:12 IDJOB=2680751 IDBENCH=2020 IDSOLVER=1190 FILE ID=node031/2680751-1277453292 PBS_JOBID= 11188134 Free space on /tmp= 62420 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-cmb.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680751-1277453292/watcher-2680751-1277453292 -o /tmp/evaluation-result-2680751-1277453292/solver-2680751-1277453292 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680751-1277453292.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8aa1aebf70d33d96463ba96014c98682 RANDOM SEED=385676921 node031.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.219 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 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.219 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1855832 kB Buffers: 27932 kB Cached: 68772 kB SwapCached: 5404 kB Active: 14740 kB Inactive: 95392 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1855832 kB SwapTotal: 4192956 kB SwapFree: 4140112 kB Dirty: 2648 kB Writeback: 0 kB AnonPages: 11968 kB Mapped: 12060 kB Slab: 70788 kB PageTables: 4204 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182524 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62420 MiB End job on node031 at 2010-06-25 10:11:17