Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 104.103 | 104.139 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977273--soft-66-100-0.wbo |
MD5SUM | 038e2d59f80e30c95ef1e3e4582a8837 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 22 |
Best CPU time to get the best result obtained on this benchmark | 0.091985 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 169 |
Total number of constraints | 101 |
Number of soft constraints | 42 |
Number of constraints which are clauses | 30 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 169 |
Top cost | 1838 |
Min constraint cost | 1 |
Max constraint cost | 97 |
Sum of constraints costs | 1837 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1243 |
Number of bits of the biggest sum of numbers | 11 |
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 - 20100517 0.00/0.00 c Parsing wbo file format. File HOME/instance-2689980-1277900197.wbo. 0.00/0.00 c Instance file HOME/instance-2689980-1277900197.wbo 0.00/0.00 c File size is 10174 bytes. 0.00/0.00 c Highest Coefficient sum: 1243 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 169 | 0.00/0.00 c | Number Clauses: 30 | 0.00/0.00 c | Number Cardinality: 70 | 0.00/0.00 c | Number PB Constraints: 1 | 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 | 169 101 1205 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 100 | 169 101 1205 | 5500 100 29 | 0.004 % | 0.00/0.00 c | 250 | 169 101 1205 | 6050 250 29 | 0.004 % | 0.00/0.01 c | 475 | 169 101 1205 | 6655 475 33 | 0.004 % | 0.01/0.02 c | 815 | 169 101 1205 | 7320 815 31 | 0.004 % | 0.01/0.03 c | 1324 | 169 101 1205 | 8052 1324 33 | 0.004 % | 0.01/0.05 c | 2086 | 169 101 1205 | 8857 2086 35 | 0.004 % | 0.01/0.09 c | 3227 | 169 101 1205 | 9743 3227 37 | 0.004 % | 0.09/0.15 c | 4936 | 169 101 1205 | 10717 4936 38 | 0.004 % | 0.19/0.27 c | 7499 | 169 101 1205 | 11789 7499 38 | 0.004 % | 0.39/0.49 c | 11344 | 169 101 1205 | 12968 11344 40 | 0.004 % | 0.79/0.83 c | 17110 | 169 101 1205 | 14265 10598 44 | 0.004 % | 1.39/1.42 c | 25759 | 169 101 1205 | 15692 12058 45 | 0.004 % | 2.29/2.35 c | 38734 | 169 101 1205 | 17261 9235 47 | 0.004 % | 3.79/3.85 c | 58195 | 124 101 1205 | 18987 1476 40 | 26.631 % | 3.99/4.06 c =============================================================================== 4.19/4.28 c core #1 4.19/4.28 c ============================[ Search Statistics ]============================== 4.19/4.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.19/4.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.19/4.28 c =============================================================================== 4.19/4.28 c | 0 | 210 142 1713 | 5000 0 nan | 0.000 % | 4.19/4.28 c | 100 | 210 142 1713 | 5500 100 33 | 0.002 % | 4.19/4.29 c | 250 | 210 142 1713 | 6050 250 36 | 0.002 % | 4.19/4.29 c | 475 | 210 142 1713 | 6655 475 35 | 0.002 % | 4.29/4.30 c | 813 | 210 142 1713 | 7320 813 36 | 0.002 % | 4.29/4.32 c | 1321 | 210 142 1713 | 8052 1321 36 | 0.002 % | 4.29/4.34 c | 2081 | 210 142 1713 | 8857 2081 36 | 0.002 % | 4.29/4.38 c | 3220 | 210 142 1713 | 9743 3220 35 | 0.002 % | 4.40/4.46 c | 4929 | 210 142 1713 | 10717 4929 34 | 0.002 % | 4.49/4.59 c | 7492 | 210 142 1713 | 11789 7492 37 | 0.002 % | 4.78/4.84 c | 11336 | 210 142 1713 | 12968 11336 39 | 0.002 % | 5.19/5.25 c | 17102 | 210 142 1713 | 14265 10570 43 | 0.002 % | 5.78/5.88 c | 25751 | 210 142 1713 | 15692 12044 45 | 0.002 % | 6.79/6.80 c | 38727 | 210 142 1713 | 17261 9221 42 | 0.002 % | 8.08/8.11 c | 58190 | 169 142 1713 | 18987 1395 32 | 19.526 % | 8.29/8.33 c =============================================================================== 8.49/8.54 c core #2 8.49/8.54 c ============================[ Search Statistics ]============================== 8.49/8.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.49/8.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.49/8.54 c =============================================================================== 8.49/8.54 c | 0 | 251 183 2221 | 5000 0 nan | 0.000 % | 8.49/8.55 c | 101 | 251 183 2221 | 5500 101 31 | 0.002 % | 8.49/8.55 c | 252 | 251 183 2221 | 6050 252 36 | 0.002 % | 8.49/8.56 c | 477 | 251 183 2221 | 6655 477 34 | 0.002 % | 8.49/8.57 c | 814 | 251 183 2221 | 7320 814 34 | 0.002 % | 8.49/8.59 c | 1321 | 251 183 2221 | 8052 1321 34 | 0.002 % | 8.59/8.61 c | 2084 | 251 183 2221 | 8857 2084 34 | 0.002 % | 8.59/8.65 c | 3226 | 251 183 2221 | 9743 3226 34 | 0.002 % | 8.69/8.72 c | 4934 | 251 183 2221 | 10717 4934 35 | 0.002 % | 8.79/8.85 c | 7497 | 251 183 2221 | 11789 7497 37 | 0.002 % | 8.99/9.08 c | 11341 | 251 183 2221 | 12968 11341 39 | 0.002 % | 9.38/9.48 c | 17110 | 251 183 2221 | 14265 10578 43 | 0.002 % | 9.99/10.07 c | 25759 | 251 183 2221 | 15692 12054 43 | 0.002 % | 11.09/11.13 c | 38733 | 251 183 2221 | 17261 9237 43 | 0.002 % | 12.58/12.61 c | 58194 | 207 183 2221 | 18987 736 30 | 17.531 % | 12.58/12.66 c =============================================================================== 12.78/12.87 c core #3 12.78/12.87 c ============================[ Search Statistics ]============================== 12.78/12.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.78/12.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.78/12.87 c =============================================================================== 12.78/12.87 c | 0 | 290 223 2712 | 5000 0 nan | 0.000 % | 12.78/12.88 c | 102 | 290 223 2712 | 5500 102 40 | 0.001 % | 12.78/12.88 c | 253 | 290 223 2712 | 6050 253 39 | 0.001 % | 12.78/12.89 c | 479 | 290 223 2712 | 6655 479 39 | 0.001 % | 12.88/12.90 c | 816 | 290 223 2712 | 7320 816 37 | 0.001 % | 12.88/12.92 c | 1322 | 290 223 2712 | 8052 1322 35 | 0.001 % | 12.88/12.94 c | 2083 | 290 223 2712 | 8857 2083 33 | 0.001 % | 12.88/12.99 c | 3222 | 290 223 2712 | 9743 3222 34 | 0.001 % | 12.99/13.07 c | 4932 | 290 223 2712 | 10717 4932 34 | 0.001 % | 13.19/13.20 c | 7495 | 290 223 2712 | 11789 7495 35 | 0.001 % | 13.39/13.44 c | 11340 | 290 223 2712 | 12968 11340 36 | 0.001 % | 13.78/13.81 c | 17107 | 290 223 2712 | 14265 10573 40 | 0.001 % | 14.29/14.38 c | 25756 | 290 223 2712 | 15692 12045 43 | 0.001 % | 15.29/15.31 c | 38731 | 290 223 2712 | 17261 9206 44 | 0.001 % | 16.89/16.92 c | 58194 | 290 223 2712 | 18987 11314 45 | 0.001 % | 17.28/17.38 c =============================================================================== 17.59/17.62 c core #4 17.59/17.62 c ============================[ Search Statistics ]============================== 17.59/17.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.59/17.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.59/17.62 c =============================================================================== 17.59/17.62 c | 0 | 332 263 3209 | 5000 0 nan | 0.000 % | 17.59/17.62 c | 100 | 332 263 3209 | 5500 100 32 | 0.001 % | 17.59/17.63 c | 251 | 332 263 3209 | 6050 251 36 | 0.001 % | 17.59/17.64 c | 476 | 332 263 3209 | 6655 476 38 | 0.001 % | 17.59/17.65 c | 813 | 332 263 3209 | 7320 813 38 | 0.001 % | 17.59/17.67 c | 1325 | 332 263 3209 | 8052 1325 34 | 0.001 % | 17.68/17.70 c | 2085 | 332 263 3209 | 8857 2085 37 | 0.001 % | 17.68/17.75 c | 3226 | 332 263 3209 | 9743 3226 40 | 0.001 % | 17.78/17.83 c | 4934 | 332 263 3209 | 10717 4934 39 | 0.001 % | 17.88/17.98 c | 7496 | 332 263 3209 | 11789 7496 40 | 0.001 % | 18.19/18.22 c | 11341 | 332 263 3209 | 12968 11341 42 | 0.001 % | 18.59/18.64 c | 17107 | 332 263 3209 | 14265 10576 45 | 0.001 % | 19.18/19.24 c | 25756 | 332 263 3209 | 15692 12040 46 | 0.001 % | 20.28/20.33 c | 38732 | 332 263 3209 | 17261 9222 44 | 0.001 % | 21.98/22.02 c | 58195 | 332 263 3209 | 18987 11323 46 | 0.001 % | 22.38/22.49 c =============================================================================== 22.68/22.75 c core #5 22.68/22.75 c ============================[ Search Statistics ]============================== 22.68/22.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.68/22.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.68/22.75 c =============================================================================== 22.68/22.75 c | 0 | 370 301 3688 | 5000 0 nan | 0.000 % | 22.68/22.76 c | 102 | 370 301 3688 | 5500 102 38 | 0.001 % | 22.68/22.76 c | 252 | 370 301 3688 | 6050 252 38 | 0.001 % | 22.68/22.77 c | 480 | 370 301 3688 | 6655 480 36 | 0.001 % | 22.68/22.78 c | 817 | 370 301 3688 | 7320 817 35 | 0.001 % | 22.68/22.79 c | 1325 | 370 301 3688 | 8052 1325 35 | 0.001 % | 22.78/22.82 c | 2085 | 370 301 3688 | 8857 2085 34 | 0.001 % | 22.78/22.86 c | 3224 | 370 301 3688 | 9743 3224 34 | 0.001 % | 22.88/22.95 c | 4934 | 370 301 3688 | 10717 4934 34 | 0.001 % | 22.98/23.09 c | 7496 | 370 301 3688 | 11789 7496 36 | 0.001 % | 23.28/23.36 c | 11342 | 370 301 3688 | 12968 11342 38 | 0.001 % | 23.68/23.75 c | 17110 | 370 301 3688 | 14265 10582 41 | 0.001 % | 24.28/24.39 c | 25759 | 370 301 3688 | 15692 12038 43 | 0.001 % | 25.38/25.41 c | 38734 | 370 301 3688 | 17261 9218 45 | 0.001 % | 26.68/26.77 c | 58195 | 370 301 3688 | 18987 11299 48 | 0.056 % | 27.07/27.15 c =============================================================================== 27.28/27.40 c core #6 27.28/27.40 c ============================[ Search Statistics ]============================== 27.28/27.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.28/27.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.28/27.40 c =============================================================================== 27.28/27.40 c | 0 | 417 343 4219 | 5000 0 nan | 0.000 % | 27.39/27.41 c | 101 | 417 343 4219 | 5500 101 40 | 0.001 % | 27.39/27.41 c | 252 | 417 343 4219 | 6050 252 39 | 0.001 % | 27.39/27.42 c | 477 | 417 343 4219 | 6655 477 36 | 0.001 % | 27.39/27.43 c | 814 | 417 343 4219 | 7320 814 33 | 0.001 % | 27.39/27.45 c | 1321 | 417 343 4219 | 8052 1321 33 | 0.001 % | 27.39/27.47 c | 2081 | 417 343 4219 | 8857 2081 36 | 0.001 % | 27.49/27.52 c | 3223 | 417 343 4219 | 9743 3223 36 | 0.001 % | 27.58/27.61 c | 4931 | 417 343 4219 | 10717 4931 37 | 0.001 % | 27.68/27.75 c | 7493 | 417 343 4219 | 11789 7493 37 | 0.001 % | 27.98/28.04 c | 11337 | 417 343 4219 | 12968 11337 38 | 0.001 % | 28.38/28.44 c | 17104 | 417 343 4219 | 14265 10574 41 | 0.001 % | 28.98/29.04 c | 25754 | 417 343 4219 | 15692 12037 42 | 0.001 % | 29.88/29.96 c | 38730 | 417 343 4219 | 17261 9227 42 | 0.001 % | 31.28/31.36 c | 58192 | 417 343 4219 | 18987 11305 43 | 0.015 % | 31.79/31.86 c =============================================================================== 32.08/32.11 c core #7 32.08/32.11 c ============================[ Search Statistics ]============================== 32.08/32.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.08/32.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.08/32.11 c =============================================================================== 32.08/32.11 c | 0 | 463 383 4728 | 5000 0 nan | 0.000 % | 32.08/32.12 c | 100 | 463 383 4728 | 5500 100 40 | 0.000 % | 32.08/32.13 c | 252 | 463 383 4728 | 6050 252 44 | 0.000 % | 32.08/32.13 c | 479 | 463 383 4728 | 6655 479 43 | 0.000 % | 32.08/32.14 c | 817 | 463 383 4728 | 7320 817 40 | 0.000 % | 32.08/32.16 c | 1323 | 463 383 4728 | 8052 1323 37 | 0.000 % | 32.08/32.19 c | 2082 | 463 383 4728 | 8857 2082 37 | 0.000 % | 32.18/32.24 c | 3221 | 463 383 4728 | 9743 3221 35 | 0.000 % | 32.28/32.32 c | 4930 | 463 383 4728 | 10717 4930 35 | 0.000 % | 32.37/32.45 c | 7493 | 463 383 4728 | 11789 7493 37 | 0.000 % | 32.68/32.70 c | 11337 | 463 383 4728 | 12968 11337 38 | 0.000 % | 33.08/33.10 c | 17104 | 463 383 4728 | 14265 10581 42 | 0.000 % | 33.68/33.73 c | 25754 | 463 383 4728 | 15692 12055 45 | 0.000 % | 34.68/34.77 c | 38729 | 463 383 4728 | 17261 9218 44 | 0.000 % | 36.19/36.23 c | 58191 | 463 383 4728 | 18987 11320 44 | 0.018 % | 36.67/36.76 c =============================================================================== 36.98/37.00 c core #8 36.98/37.00 c ============================[ Search Statistics ]============================== 36.98/37.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.98/37.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.98/37.00 c =============================================================================== 36.98/37.00 c | 0 | 516 426 5284 | 5000 0 nan | 0.000 % | 36.98/37.01 c | 100 | 516 426 5284 | 5500 100 31 | 0.000 % | 36.98/37.01 c | 252 | 516 426 5284 | 6050 252 29 | 0.000 % | 36.98/37.02 c | 477 | 516 426 5284 | 6655 477 30 | 0.000 % | 36.98/37.03 c | 814 | 516 426 5284 | 7320 814 32 | 0.000 % | 36.98/37.05 c | 1320 | 516 426 5284 | 8052 1320 30 | 0.000 % | 36.98/37.07 c | 2080 | 516 426 5284 | 8857 2080 33 | 0.000 % | 37.08/37.12 c | 3219 | 516 426 5284 | 9743 3219 38 | 0.000 % | 37.18/37.21 c | 4929 | 516 426 5284 | 10717 4929 40 | 0.000 % | 37.28/37.36 c | 7491 | 516 426 5284 | 11789 7491 40 | 0.000 % | 37.57/37.62 c | 11335 | 516 426 5284 | 12968 11335 40 | 0.000 % | 37.98/38.02 c | 17101 | 516 426 5284 | 14265 10570 43 | 0.000 % | 38.58/38.62 c | 25751 | 516 426 5284 | 15692 12034 44 | 0.000 % | 39.58/39.68 c | 38726 | 516 426 5284 | 17261 9217 43 | 0.000 % | 41.18/41.20 c | 58187 | 516 426 5284 | 18987 11336 45 | 0.000 % | 41.98/42.05 c =============================================================================== 42.27/42.30 c core #9 42.27/42.30 c ============================[ Search Statistics ]============================== 42.27/42.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 42.27/42.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 42.27/42.30 c =============================================================================== 42.27/42.30 c | 0 | 557 464 5771 | 5000 0 nan | 0.000 % | 42.27/42.31 c | 101 | 557 464 5771 | 5500 101 33 | 0.000 % | 42.27/42.32 c | 252 | 557 464 5771 | 6050 252 37 | 0.000 % | 42.27/42.33 c | 479 | 557 464 5771 | 6655 479 38 | 0.000 % | 42.27/42.34 c | 816 | 557 464 5771 | 7320 816 37 | 0.000 % | 42.27/42.35 c | 1323 | 557 464 5771 | 8052 1323 35 | 0.000 % | 42.27/42.38 c | 2083 | 557 464 5771 | 8857 2083 33 | 0.000 % | 42.37/42.43 c | 3223 | 557 464 5771 | 9743 3223 33 | 0.000 % | 42.47/42.51 c | 4931 | 557 464 5771 | 10717 4931 34 | 0.000 % | 42.58/42.66 c | 7493 | 557 464 5771 | 11789 7493 37 | 0.000 % | 42.88/42.93 c | 11337 | 557 464 5771 | 12968 11337 40 | 0.000 % | 43.27/43.37 c | 17103 | 557 464 5771 | 14265 10569 44 | 0.000 % | 43.98/44.05 c | 25753 | 557 464 5771 | 15692 12040 44 | 0.000 % | 45.08/45.11 c | 38728 | 557 464 5771 | 17261 9215 45 | 0.000 % | 46.67/46.71 c | 58189 | 557 464 5771 | 18987 11297 47 | 0.000 % | 47.87/47.94 c =============================================================================== 48.17/48.23 c core #10 48.17/48.23 c ============================[ Search Statistics ]============================== 48.17/48.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 48.17/48.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 48.17/48.23 c =============================================================================== 48.17/48.23 c | 0 | 598 500 6245 | 5000 0 nan | 0.000 % | 48.17/48.25 c | 101 | 598 500 6245 | 5500 101 39 | 0.000 % | 48.17/48.25 c | 252 | 598 500 6245 | 6050 252 41 | 0.000 % | 48.17/48.26 c | 478 | 598 500 6245 | 6655 478 40 | 0.000 % | 48.17/48.27 c | 816 | 598 500 6245 | 7320 816 37 | 0.000 % | 48.17/48.29 c | 1323 | 598 500 6245 | 8052 1323 37 | 0.000 % | 48.28/48.32 c | 2082 | 598 500 6245 | 8857 2082 38 | 0.000 % | 48.28/48.36 c | 3221 | 598 500 6245 | 9743 3221 36 | 0.000 % | 48.38/48.44 c | 4930 | 598 500 6245 | 10717 4930 37 | 0.000 % | 48.47/48.58 c | 7493 | 598 500 6245 | 11789 7493 38 | 0.000 % | 48.77/48.87 c | 11337 | 598 500 6245 | 12968 11337 40 | 0.000 % | 49.28/49.31 c | 17105 | 598 500 6245 | 14265 10591 44 | 0.000 % | 49.87/49.97 c | 25754 | 598 500 6245 | 15692 12042 46 | 0.000 % | 50.87/50.98 c | 38729 | 598 500 6245 | 17261 9227 44 | 0.000 % | 52.37/52.49 c | 58191 | 598 500 6245 | 18987 11331 45 | 0.000 % | 54.27/54.35 c =============================================================================== 54.57/54.66 c core #11 54.57/54.66 c ============================[ Search Statistics ]============================== 54.57/54.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 54.57/54.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 54.57/54.66 c =============================================================================== 54.57/54.66 c | 0 | 659 535 6737 | 5000 0 nan | 0.000 % | 54.57/54.67 c | 101 | 659 535 6737 | 5500 101 36 | 0.000 % | 54.57/54.68 c | 252 | 659 535 6737 | 6050 252 36 | 0.000 % | 54.57/54.69 c | 480 | 659 535 6737 | 6655 480 37 | 0.000 % | 54.67/54.70 c | 817 | 659 535 6737 | 7320 817 36 | 0.000 % | 54.67/54.71 c | 1323 | 659 535 6737 | 8052 1323 37 | 0.000 % | 54.67/54.74 c | 2087 | 659 535 6737 | 8857 2087 34 | 0.000 % | 54.67/54.79 c | 3226 | 659 535 6737 | 9743 3226 37 | 0.000 % | 54.77/54.86 c | 4934 | 659 535 6737 | 10717 4934 37 | 0.000 % | 54.98/55.02 c | 7498 | 659 535 6737 | 11789 7498 38 | 0.000 % | 55.17/55.28 c | 11342 | 659 535 6737 | 12968 11342 39 | 0.000 % | 55.67/55.71 c | 17109 | 659 535 6737 | 14265 10582 39 | 0.000 % | 56.27/56.36 c | 25758 | 659 535 6737 | 15692 12050 40 | 0.000 % | 57.17/57.29 c | 38734 | 659 535 6737 | 17261 9220 42 | 0.000 % | 58.57/58.69 c | 58196 | 659 535 6737 | 18987 11336 45 | 0.000 % | 59.17/59.25 c =============================================================================== 59.38/59.49 c core #12 59.38/59.49 c ============================[ Search Statistics ]============================== 59.38/59.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 59.38/59.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 59.38/59.49 c =============================================================================== 59.38/59.49 c | 0 | 730 573 7296 | 5000 0 nan | 0.000 % | 59.47/59.50 c | 100 | 730 573 7296 | 5500 100 41 | 0.000 % | 59.47/59.51 c | 250 | 730 573 7296 | 6050 250 40 | 0.000 % | 59.47/59.51 c | 476 | 730 573 7296 | 6655 476 38 | 0.000 % | 59.47/59.53 c | 815 | 730 573 7296 | 7320 815 40 | 0.000 % | 59.47/59.54 c | 1325 | 730 573 7296 | 8052 1325 38 | 0.000 % | 59.47/59.57 c | 2084 | 730 573 7296 | 8857 2084 35 | 0.000 % | 59.57/59.61 c | 3225 | 730 573 7296 | 9743 3225 35 | 0.000 % | 59.57/59.69 c | 4933 | 730 573 7296 | 10717 4933 35 | 0.000 % | 59.77/59.84 c | 7495 | 730 573 7296 | 11789 7495 37 | 0.000 % | 59.97/60.09 c | 11339 | 730 573 7296 | 12968 11339 38 | 0.000 % | 60.38/60.49 c | 17105 | 730 573 7296 | 14265 10574 40 | 0.000 % | 61.07/61.11 c | 25755 | 730 573 7296 | 15692 12042 43 | 0.000 % | 62.07/62.19 c | 38729 | 730 573 7296 | 17261 9223 44 | 0.000 % | 63.68/63.74 c | 58193 | 730 573 7296 | 18987 11321 44 | 0.000 % | 64.87/64.95 c =============================================================================== 65.17/65.24 c core #13 65.17/65.24 c ============================[ Search Statistics ]============================== 65.17/65.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 65.17/65.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 65.17/65.24 c =============================================================================== 65.17/65.24 c | 0 | 778 609 7781 | 5000 0 nan | 0.000 % | 65.17/65.25 c | 100 | 778 609 7781 | 5500 100 36 | 0.000 % | 65.17/65.26 c | 252 | 778 609 7781 | 6050 252 36 | 0.000 % | 65.17/65.26 c | 477 | 778 609 7781 | 6655 477 34 | 0.000 % | 65.17/65.28 c | 815 | 778 609 7781 | 7320 815 31 | 0.000 % | 65.17/65.29 c | 1321 | 778 609 7781 | 8052 1321 32 | 0.000 % | 65.27/65.32 c | 2080 | 778 609 7781 | 8857 2080 33 | 0.000 % | 65.27/65.37 c | 3220 | 778 609 7781 | 9743 3220 33 | 0.000 % | 65.36/65.44 c | 4929 | 778 609 7781 | 10717 4929 32 | 0.000 % | 65.47/65.56 c | 7492 | 778 609 7781 | 11789 7492 33 | 0.000 % | 65.67/65.78 c | 11337 | 778 609 7781 | 12968 11337 34 | 0.000 % | 66.07/66.15 c | 17105 | 778 609 7781 | 14265 10586 37 | 0.000 % | 66.57/66.68 c | 25755 | 778 609 7781 | 15692 12053 40 | 0.000 % | 67.57/67.61 c | 38729 | 778 609 7781 | 17261 9241 41 | 0.000 % | 69.07/69.10 c | 58192 | 778 609 7781 | 18987 11347 45 | 0.000 % | 71.17/71.26 c =============================================================================== 71.47/71.58 c core #14 71.47/71.58 c ============================[ Search Statistics ]============================== 71.47/71.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 71.47/71.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 71.47/71.58 c =============================================================================== 71.47/71.58 c | 0 | 823 644 8251 | 5000 0 nan | 0.000 % | 71.57/71.60 c | 100 | 823 644 8251 | 5500 100 32 | 0.000 % | 71.57/71.60 c | 250 | 823 644 8251 | 6050 250 34 | 0.000 % | 71.57/71.61 c | 475 | 823 644 8251 | 6655 475 33 | 0.000 % | 71.57/71.62 c | 812 | 823 644 8251 | 7320 812 32 | 0.000 % | 71.57/71.64 c | 1322 | 823 644 8251 | 8052 1322 34 | 0.000 % | 71.57/71.67 c | 2082 | 823 644 8251 | 8857 2082 34 | 0.000 % | 71.67/71.71 c | 3222 | 823 644 8251 | 9743 3222 35 | 0.000 % | 71.76/71.80 c | 4934 | 823 644 8251 | 10717 4934 37 | 0.000 % | 71.86/71.94 c | 7498 | 823 644 8251 | 11789 7498 37 | 0.000 % | 72.07/72.18 c | 11342 | 823 644 8251 | 12968 11342 39 | 0.000 % | 72.47/72.57 c | 17108 | 823 644 8251 | 14265 10573 40 | 0.000 % | 73.07/73.19 c | 25757 | 823 644 8251 | 15692 12032 44 | 0.000 % | 74.06/74.13 c | 38732 | 823 644 8251 | 17261 9222 43 | 0.000 % | 75.57/75.60 c | 58193 | 823 644 8251 | 18987 11326 43 | 0.000 % | 76.26/76.32 c =============================================================================== 76.46/76.59 c core #15 76.46/76.59 c ============================[ Search Statistics ]============================== 76.46/76.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 76.46/76.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 76.46/76.59 c =============================================================================== 76.46/76.59 c | 0 | 856 676 8663 | 5000 0 nan | 0.000 % | 76.56/76.60 c | 100 | 856 676 8663 | 5500 100 42 | 0.000 % | 76.56/76.61 c | 251 | 856 676 8663 | 6050 251 38 | 0.000 % | 76.56/76.62 c | 477 | 856 676 8663 | 6655 477 37 | 0.000 % | 76.56/76.63 c | 814 | 856 676 8663 | 7320 814 38 | 0.000 % | 76.56/76.65 c | 1321 | 856 676 8663 | 8052 1321 37 | 0.000 % | 76.56/76.68 c | 2081 | 856 676 8663 | 8857 2081 35 | 0.000 % | 76.66/76.73 c | 3222 | 856 676 8663 | 9743 3222 34 | 0.000 % | 76.76/76.81 c | 4932 | 856 676 8663 | 10717 4932 33 | 0.000 % | 76.87/76.95 c | 7495 | 856 676 8663 | 11789 7495 35 | 0.000 % | 77.06/77.19 c | 11340 | 856 676 8663 | 12968 11340 35 | 0.000 % | 77.46/77.56 c | 17108 | 856 676 8663 | 14265 10577 38 | 0.000 % | 78.17/78.28 c | 25757 | 856 676 8663 | 15692 12045 44 | 0.000 % | 79.26/79.31 c | 38733 | 856 676 8663 | 17261 9240 42 | 0.000 % | 80.66/80.72 c | 58194 | 856 676 8663 | 18987 11335 45 | 0.000 % | 83.06/83.15 c | 87386 | 856 676 8663 | 20886 11904 45 | 0.005 % | 83.47/83.52 c =============================================================================== 83.76/83.86 c core #16 83.76/83.86 c ============================[ Search Statistics ]============================== 83.76/83.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 83.76/83.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 83.76/83.86 c =============================================================================== 83.76/83.86 c | 0 | 920 710 9151 | 5000 0 nan | 0.000 % | 83.76/83.88 c | 100 | 920 710 9151 | 5500 100 31 | 0.000 % | 83.76/83.89 c | 250 | 920 710 9151 | 6050 250 29 | 0.000 % | 83.76/83.89 c | 476 | 920 710 9151 | 6655 476 29 | 0.000 % | 83.86/83.90 c | 814 | 920 710 9151 | 7320 814 30 | 0.000 % | 83.86/83.92 c | 1320 | 920 710 9151 | 8052 1320 29 | 0.000 % | 83.86/83.95 c | 2079 | 920 710 9151 | 8857 2079 34 | 0.000 % | 83.86/84.00 c | 3221 | 920 710 9151 | 9743 3221 34 | 0.000 % | 83.96/84.08 c | 4930 | 920 710 9151 | 10717 4930 34 | 0.000 % | 84.16/84.20 c | 7494 | 920 710 9151 | 11789 7494 35 | 0.000 % | 84.36/84.44 c | 11338 | 920 710 9151 | 12968 11338 36 | 0.000 % | 84.76/84.83 c | 17104 | 920 710 9151 | 14265 10572 38 | 0.000 % | 85.36/85.45 c | 25753 | 920 710 9151 | 15692 12061 40 | 0.000 % | 86.26/86.37 c | 38727 | 920 710 9151 | 17261 9246 41 | 0.000 % | 87.76/87.87 c | 58188 | 920 710 9151 | 18987 11346 43 | 0.000 % | 89.86/89.95 c =============================================================================== 90.16/90.27 c core #17 90.16/90.27 c ============================[ Search Statistics ]============================== 90.16/90.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 90.16/90.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 90.16/90.27 c =============================================================================== 90.16/90.27 c | 0 | 962 743 9588 | 5000 0 nan | 0.000 % | 90.16/90.29 c | 101 | 962 743 9588 | 5500 101 40 | 0.000 % | 90.16/90.29 c | 251 | 962 743 9588 | 6050 251 40 | 0.000 % | 90.26/90.30 c | 476 | 962 743 9588 | 6655 476 35 | 0.000 % | 90.26/90.31 c | 815 | 962 743 9588 | 7320 815 33 | 0.000 % | 90.26/90.33 c | 1323 | 962 743 9588 | 8052 1323 33 | 0.000 % | 90.26/90.36 c | 2084 | 962 743 9588 | 8857 2084 32 | 0.000 % | 90.36/90.41 c | 3224 | 962 743 9588 | 9743 3224 33 | 0.000 % | 90.36/90.49 c | 4933 | 962 743 9588 | 10717 4933 34 | 0.000 % | 90.55/90.63 c | 7496 | 962 743 9588 | 11789 7496 35 | 0.000 % | 90.76/90.87 c | 11341 | 962 743 9588 | 12968 11341 35 | 0.000 % | 91.16/91.29 c | 17108 | 962 743 9588 | 14265 10597 39 | 0.000 % | 91.85/91.94 c | 25758 | 962 743 9588 | 15692 12054 42 | 0.000 % | 92.86/92.95 c | 38733 | 962 743 9588 | 17261 9245 43 | 0.000 % | 94.46/94.52 c | 58195 | 962 743 9588 | 18987 11346 45 | 0.000 % | 96.06/96.10 c =============================================================================== 96.36/96.40 c core #18 96.36/96.40 c ============================[ Search Statistics ]============================== 96.36/96.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.36/96.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.36/96.40 c =============================================================================== 96.36/96.40 c | 0 | 1001 774 9996 | 5000 0 nan | 0.000 % | 96.36/96.42 c | 100 | 1001 774 9996 | 5500 100 45 | 0.000 % | 96.36/96.43 c | 251 | 1001 774 9996 | 6050 251 38 | 0.000 % | 96.36/96.44 c | 476 | 1001 774 9996 | 6655 476 34 | 0.000 % | 96.36/96.45 c | 813 | 1001 774 9996 | 7320 813 34 | 0.000 % | 96.36/96.47 c | 1320 | 1001 774 9996 | 8052 1320 34 | 0.000 % | 96.46/96.50 c | 2079 | 1001 774 9996 | 8857 2079 32 | 0.000 % | 96.46/96.54 c | 3218 | 1001 774 9996 | 9743 3218 32 | 0.000 % | 96.55/96.63 c | 4927 | 1001 774 9996 | 10717 4927 31 | 0.000 % | 96.66/96.77 c | 7490 | 1001 774 9996 | 11789 7490 35 | 0.000 % | 96.96/97.01 c | 11336 | 1001 774 9996 | 12968 11336 35 | 0.000 % | 97.35/97.42 c | 17102 | 1001 774 9996 | 14265 10565 37 | 0.000 % | 97.95/98.07 c | 25751 | 1001 774 9996 | 15692 12040 39 | 0.000 % | 98.97/99.05 c | 38726 | 1001 774 9996 | 17261 9224 40 | 0.000 % | 100.25/100.38 c | 58189 | 1001 774 9996 | 18987 11304 40 | 0.000 % | 102.65/102.75 c | 87381 | 1001 774 9996 | 20886 11868 46 | 0.000 % | 104.05/104.12 c =============================================================================== 104.05/104.12 c #cores: 18 104.05/104.12 c Final Weight: 22 104.05/104.12 o 22 104.05/104.12 s OPTIMUM FOUND 104.05/104.12 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 104.05/104.12 c Total CPU time: 102.598 s
OK 22
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689980-1277900197/watcher-2689980-1277900197 -o /tmp/evaluation-result-2689980-1277900197/solver-2689980-1277900197 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689980-1277900197.wbo 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.97 2.09 2.05 4/194 12234 /proc/meminfo: memFree=31151088/32951132 swapFree=67111528/67111528 [pid=12234] ppid=12232 vsize=2572 CPUtime=0 /proc/12234/stat : 12234 (wbo1.4a) R 12232 12234 11703 0 -1 4202496 286 0 0 0 0 0 0 0 25 0 1 0 131316310 2633728 202 4089446400 134512640 135751879 4293656528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12234/statm: 643 202 143 303 0 338 0 [startup+0.016537 s] /proc/loadavg: 1.97 2.09 2.05 4/194 12234 /proc/meminfo: memFree=31151088/32951132 swapFree=67111528/67111528 [pid=12234] ppid=12232 vsize=2704 CPUtime=0.01 /proc/12234/stat : 12234 (wbo1.4a) R 12232 12234 11703 0 -1 4202496 313 0 0 0 1 0 0 0 25 0 1 0 131316310 2768896 229 4089446400 134512640 135751879 4293656528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12234/statm: 676 229 143 303 0 371 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2704 [startup+0.100519 s] /proc/loadavg: 1.97 2.09 2.05 4/194 12234 /proc/meminfo: memFree=31151088/32951132 swapFree=67111528/67111528 [pid=12234] ppid=12232 vsize=3496 CPUtime=0.09 /proc/12234/stat : 12234 (wbo1.4a) R 12232 12234 11703 0 -1 4202496 506 0 0 0 9 0 0 0 25 0 1 0 131316310 3579904 422 4089446400 134512640 135751879 4293656528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12234/statm: 874 422 143 303 0 569 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3496 [startup+0.300498 s] /proc/loadavg: 1.97 2.09 2.05 4/194 12234 /proc/meminfo: memFree=31151088/32951132 swapFree=67111528/67111528 [pid=12234] ppid=12232 vsize=4684 CPUtime=0.29 /proc/12234/stat : 12234 (wbo1.4a) R 12232 12234 11703 0 -1 4202496 834 0 0 0 29 0 0 0 25 0 1 0 131316310 4796416 750 4089446400 134512640 135751879 4293656528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12234/statm: 1171 750 143 303 0 866 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4684 [startup+0.700415 s] /proc/loadavg: 1.97 2.09 2.05 4/194 12234 /proc/meminfo: memFree=31151088/32951132 swapFree=67111528/67111528 [pid=12234] ppid=12232 vsize=6796 CPUtime=0.69 /proc/12234/stat : 12234 (wbo1.4a) R 12232 12234 11703 0 -1 4202496 1330 0 0 0 69 0 0 0 25 0 1 0 131316310 6959104 1246 4089446400 134512640 135751879 4293656528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12234/statm: 1699 1246 143 303 0 1394 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6796 [startup+1.50028 s] /proc/loadavg: 1.97 2.09 2.05 3/195 12235 /proc/meminfo: memFree=31144992/32951132 swapFree=67111528/67111528 [pid=12234] ppid=12232 vsize=10360 CPUtime=1.49 /proc/12234/stat : 12234 (wbo1.4a) R 12232 12234 11703 0 -1 4202496 2245 0 0 0 147 2 0 0 25 0 1 0 131316310 10608640 2161 4089446400 134512640 135751879 4293656528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12234/statm: 2590 2161 143 303 0 2285 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10360 [startup+3.101 s] /proc/loadavg: 1.97 2.09 2.05 3/195 12235 /proc/meminfo: memFree=31140032/32951132 swapFree=67111528/67111528 [pid=12234] ppid=12232 vsize=17224 CPUtime=3.09 /proc/12234/stat : 12234 (wbo1.4a) R 12232 12234 11703 0 -1 4202496 3942 0 0 0 304 5 0 0 25 0 1 0 131316310 17637376 3858 4089446400 134512640 135751879 4293656528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12234/statm: 4306 3858 143 303 0 4001 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17224 [startup+6.30045 s] /proc/loadavg: 1.97 2.08 2.05 3/195 12235 /proc/meminfo: memFree=31126516/32951132 swapFree=67111528/67111528 [pid=12234] ppid=12232 vsize=25280 CPUtime=6.28 /proc/12234/stat : 12234 (wbo1.4a) R 12232 12234 11703 0 -1 4202496 5973 0 0 0 619 9 0 0 25 0 1 0 131316310 25886720 5889 4089446400 134512640 135751879 4293656528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12234/statm: 6320 5889 146 303 0 6015 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 25280 [startup+12.7003 s] /proc/loadavg: 1.97 2.08 2.05 3/195 12235 /proc/meminfo: memFree=31106688/32951132 swapFree=67111528/67111528 [pid=12234] ppid=12232 vsize=45748 CPUtime=12.68 /proc/12234/stat : 12234 (wbo1.4a) R 12232 12234 11703 0 -1 4202496 11084 0 0 0 1250 18 0 0 25 0 1 0 131316310 46845952 11000 4089446400 134512640 135751879 4293656528 18446744073709551615 134516328 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12234/statm: 11437 11000 146 303 0 11132 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 45748 [startup+25.5001 s] /proc/loadavg: 2.06 2.10 2.05 3/195 12236 /proc/meminfo: memFree=31074620/32951132 swapFree=67111528/67111528 [pid=12234] ppid=12232 vsize=75076 CPUtime=25.48 /proc/12234/stat : 12234 (wbo1.4a) R 12232 12234 11703 0 -1 4202496 18426 0 0 0 2513 35 0 0 23 0 1 0 131316310 76877824 18342 4089446400 134512640 135751879 4293656528 18446744073709551615 134518948 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12234/statm: 18769 18342 146 303 0 18464 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 75076 [startup+51.1006 s] /proc/loadavg: 2.04 2.09 2.05 3/195 12237 /proc/meminfo: memFree=31006312/32951132 swapFree=67111528/67111528 [pid=12234] ppid=12232 vsize=138056 CPUtime=51.07 /proc/12234/stat : 12234 (wbo1.4a) R 12232 12234 11703 0 -1 4202496 34161 0 0 0 5037 70 0 0 25 0 1 0 131316310 141369344 34077 4089446400 134512640 135751879 4293656528 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12234/statm: 34514 34077 146 303 0 34209 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 138056 [startup+102.307 s] /proc/loadavg: 2.01 2.07 2.05 3/195 12238 /proc/meminfo: memFree=30861568/32951132 swapFree=67111528/67111528 [pid=12234] ppid=12232 vsize=268592 CPUtime=102.26 /proc/12234/stat : 12234 (wbo1.4a) R 12232 12234 11703 0 -1 4202496 66786 0 0 0 10080 146 0 0 25 0 1 0 131316310 275038208 66702 4089446400 134512640 135751879 4293656528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12234/statm: 67148 66702 146 303 0 66843 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 268592 Solver just ended. Dumping a history of the last processes samples [startup+103.101 s] /proc/loadavg: 2.01 2.07 2.05 3/195 12238 /proc/meminfo: memFree=30861568/32951132 swapFree=67111528/67111528 [pid=12234] ppid=12232 vsize=271372 CPUtime=103.05 /proc/12234/stat : 12234 (wbo1.4a) R 12232 12234 11703 0 -1 4202496 67497 0 0 0 10158 147 0 0 25 0 1 0 131316310 277884928 67413 4089446400 134512640 135751879 4293656528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12234/statm: 67843 67413 146 303 0 67538 0 Current children cumulated CPU time (s) 103.05 Current children cumulated vsize (KiB) 271372 [startup+103.9 s] /proc/loadavg: 2.01 2.07 2.05 3/195 12238 /proc/meminfo: memFree=30857104/32951132 swapFree=67111528/67111528 [pid=12234] ppid=12232 vsize=274284 CPUtime=103.86 /proc/12234/stat : 12234 (wbo1.4a) R 12232 12234 11703 0 -1 4202496 68207 0 0 0 10237 149 0 0 25 0 1 0 131316310 280866816 68123 4089446400 134512640 135751879 4293656528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12234/statm: 68571 68123 146 303 0 68266 0 Current children cumulated CPU time (s) 103.86 Current children cumulated vsize (KiB) 274284 [startup+104.1 s] /proc/loadavg: 2.01 2.07 2.05 3/195 12238 /proc/meminfo: memFree=30857104/32951132 swapFree=67111528/67111528 [pid=12234] ppid=12232 vsize=275076 CPUtime=104.05 /proc/12234/stat : 12234 (wbo1.4a) R 12232 12234 11703 0 -1 4202496 68405 0 0 0 10256 149 0 0 25 0 1 0 131316310 281677824 68321 4089446400 134512640 135751879 4293656528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12234/statm: 68769 68321 146 303 0 68464 0 Current children cumulated CPU time (s) 104.05 Current children cumulated vsize (KiB) 275076 Child status: 0 Real time (s): 104.139 CPU time (s): 104.103 CPU user time (s): 102.598 CPU system time (s): 1.50477 CPU usage (%): 99.9655 Max. virtual memory (cumulated for all children) (KiB): 275076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 102.598 system time used= 1.50477 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 68449 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= 8 involuntary context switches= 195 runsolver used 0.171973 second user time and 0.316951 second system time The end
Begin job on node131 at 2010-06-30 14:16:37 IDJOB=2689980 IDBENCH=78878 IDSOLVER=1200 FILE ID=node131/2689980-1277900197 PBS_JOBID= 11197182 Free space on /tmp= 74140 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110977273--soft-66-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689980-1277900197/watcher-2689980-1277900197 -o /tmp/evaluation-result-2689980-1277900197/solver-2689980-1277900197 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689980-1277900197.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 038e2d59f80e30c95ef1e3e4582a8837 RANDOM SEED=217906063 node131.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 31151616 kB Buffers: 186212 kB Cached: 1133420 kB SwapCached: 0 kB Active: 858932 kB Inactive: 798668 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 31151616 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2760 kB Writeback: 0 kB AnonPages: 338068 kB Mapped: 20384 kB Slab: 79856 kB PageTables: 5184 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 1658720 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74136 MiB End job on node131 at 2010-06-30 14:18:21