Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 198.671 | 198.665 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973163--soft-33-100-0.wbo |
MD5SUM | e1c1b8cf9bad61151281f614914c2e6f |
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 | 15 |
Best CPU time to get the best result obtained on this benchmark | 0.31795 |
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 | 69 |
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 | 3204 |
Min constraint cost | 1 |
Max constraint cost | 97 |
Sum of constraints costs | 3203 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1215 |
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-2689906-1277898186.wbo. 0.00/0.00 c Instance file HOME/instance-2689906-1277898186.wbo 0.00/0.00 c File size is 10296 bytes. 0.00/0.00 c Highest Coefficient sum: 1215 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 27 | 0.004 % | 0.00/0.00 c | 253 | 169 101 1205 | 6050 253 28 | 0.004 % | 0.00/0.01 c | 479 | 169 101 1205 | 6655 479 34 | 0.004 % | 0.01/0.02 c | 816 | 169 101 1205 | 7320 816 34 | 0.004 % | 0.01/0.03 c | 1322 | 169 101 1205 | 8052 1322 35 | 0.004 % | 0.01/0.05 c | 2081 | 169 101 1205 | 8857 2081 35 | 0.004 % | 0.01/0.09 c | 3220 | 169 101 1205 | 9743 3220 38 | 0.004 % | 0.09/0.15 c | 4930 | 169 101 1205 | 10717 4930 39 | 0.004 % | 0.19/0.26 c | 7492 | 169 101 1205 | 11789 7492 39 | 0.004 % | 0.39/0.48 c | 11336 | 169 101 1205 | 12968 11336 40 | 0.004 % | 0.79/0.84 c | 17104 | 169 101 1205 | 14265 10571 45 | 0.004 % | 1.40/1.44 c | 25754 | 169 101 1205 | 15692 12034 48 | 0.004 % | 2.39/2.46 c | 38728 | 169 101 1205 | 17261 9207 51 | 0.004 % | 3.89/3.96 c | 58189 | 169 101 1205 | 18987 11314 50 | 0.004 % | 6.29/6.36 c | 87382 | 124 101 1205 | 20886 1572 31 | 26.631 % | 6.40/6.44 c =============================================================================== 6.79/6.85 c core #1 6.79/6.85 c ============================[ Search Statistics ]============================== 6.79/6.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.79/6.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.79/6.85 c =============================================================================== 6.79/6.85 c | 0 | 236 169 2203 | 5000 0 nan | 0.000 % | 6.79/6.86 c | 100 | 236 169 2203 | 5500 100 25 | 0.002 % | 6.79/6.86 c | 251 | 236 169 2203 | 6050 251 29 | 0.002 % | 6.79/6.87 c | 476 | 236 169 2203 | 6655 476 30 | 0.002 % | 6.79/6.88 c | 816 | 236 169 2203 | 7320 816 31 | 0.002 % | 6.79/6.89 c | 1323 | 236 169 2203 | 8052 1323 34 | 0.002 % | 6.89/6.92 c | 2082 | 236 169 2203 | 8857 2082 36 | 0.002 % | 6.89/6.96 c | 3221 | 236 169 2203 | 9743 3221 39 | 0.002 % | 6.99/7.04 c | 4929 | 236 169 2203 | 10717 4929 36 | 0.002 % | 7.09/7.17 c | 7491 | 236 169 2203 | 11789 7491 38 | 0.002 % | 7.39/7.41 c | 11337 | 236 169 2203 | 12968 11337 39 | 0.002 % | 7.70/7.79 c | 17107 | 236 169 2203 | 14265 10564 44 | 0.002 % | 8.30/8.37 c | 25756 | 236 169 2203 | 15692 12028 46 | 0.002 % | 9.29/9.38 c | 38732 | 236 169 2203 | 17261 9207 50 | 0.002 % | 10.90/10.96 c | 58193 | 236 169 2203 | 18987 11290 48 | 0.002 % | 13.69/13.74 c | 87387 | 236 169 2203 | 20886 11850 52 | 0.002 % | 14.99/15.03 c =============================================================================== 15.49/15.52 c core #2 15.49/15.52 c ============================[ Search Statistics ]============================== 15.49/15.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.49/15.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.49/15.52 c =============================================================================== 15.49/15.52 c | 0 | 302 235 3176 | 5000 0 nan | 0.000 % | 15.49/15.53 c | 100 | 302 235 3176 | 5500 100 31 | 0.001 % | 15.49/15.53 c | 250 | 302 235 3176 | 6050 250 28 | 0.001 % | 15.49/15.54 c | 477 | 302 235 3176 | 6655 477 31 | 0.001 % | 15.49/15.55 c | 816 | 302 235 3176 | 7320 816 31 | 0.001 % | 15.49/15.56 c | 1324 | 302 235 3176 | 8052 1324 33 | 0.001 % | 15.49/15.59 c | 2083 | 302 235 3176 | 8857 2083 34 | 0.001 % | 15.59/15.63 c | 3223 | 302 235 3176 | 9743 3223 35 | 0.001 % | 15.69/15.70 c | 4932 | 302 235 3176 | 10717 4932 36 | 0.001 % | 15.79/15.83 c | 7494 | 302 235 3176 | 11789 7494 37 | 0.001 % | 15.99/16.07 c | 11338 | 302 235 3176 | 12968 11338 38 | 0.001 % | 16.39/16.42 c | 17105 | 302 235 3176 | 14265 10559 43 | 0.001 % | 16.99/17.01 c | 25756 | 302 235 3176 | 15692 12023 45 | 0.001 % | 17.99/18.09 c | 38730 | 302 235 3176 | 17261 9192 45 | 0.001 % | 19.49/19.59 c | 58192 | 302 235 3176 | 18987 11269 48 | 0.001 % | 22.09/22.18 c | 87387 | 302 235 3176 | 20886 11829 50 | 0.001 % | 23.89/23.97 c =============================================================================== 24.50/24.53 c core #3 24.50/24.53 c ============================[ Search Statistics ]============================== 24.50/24.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.50/24.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.50/24.53 c =============================================================================== 24.50/24.53 c | 0 | 371 301 4155 | 5000 0 nan | 0.000 % | 24.50/24.54 c | 102 | 371 301 4155 | 5500 102 30 | 0.001 % | 24.50/24.54 c | 253 | 371 301 4155 | 6050 253 33 | 0.001 % | 24.50/24.55 c | 478 | 371 301 4155 | 6655 478 32 | 0.001 % | 24.50/24.56 c | 815 | 371 301 4155 | 7320 815 34 | 0.001 % | 24.50/24.58 c | 1326 | 371 301 4155 | 8052 1326 33 | 0.001 % | 24.60/24.60 c | 2086 | 371 301 4155 | 8857 2086 34 | 0.001 % | 24.60/24.65 c | 3226 | 371 301 4155 | 9743 3226 34 | 0.001 % | 24.69/24.72 c | 4934 | 371 301 4155 | 10717 4934 36 | 0.001 % | 24.79/24.85 c | 7496 | 371 301 4155 | 11789 7496 38 | 0.001 % | 25.09/25.10 c | 11340 | 371 301 4155 | 12968 11340 41 | 0.001 % | 25.40/25.48 c | 17108 | 371 301 4155 | 14265 10581 45 | 0.001 % | 25.99/26.09 c | 25761 | 371 301 4155 | 15692 12049 45 | 0.001 % | 26.99/27.05 c | 38736 | 371 301 4155 | 17261 9237 45 | 0.001 % | 28.49/28.54 c | 58199 | 371 301 4155 | 18987 11344 48 | 0.001 % | 30.89/30.95 c | 87391 | 371 301 4155 | 20886 11927 49 | 0.001 % | 31.69/31.72 c =============================================================================== 32.10/32.18 c core #4 32.10/32.18 c ============================[ Search Statistics ]============================== 32.10/32.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.10/32.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.10/32.18 c =============================================================================== 32.10/32.18 c | 0 | 435 366 5119 | 5000 0 nan | 0.000 % | 32.10/32.19 c | 100 | 435 366 5119 | 5500 100 27 | 0.001 % | 32.19/32.20 c | 252 | 435 366 5119 | 6050 252 27 | 0.001 % | 32.19/32.21 c | 477 | 435 366 5119 | 6655 477 31 | 0.001 % | 32.19/32.22 c | 815 | 435 366 5119 | 7320 815 33 | 0.001 % | 32.19/32.23 c | 1323 | 435 366 5119 | 8052 1323 33 | 0.001 % | 32.19/32.27 c | 2083 | 435 366 5119 | 8857 2083 36 | 0.001 % | 32.29/32.32 c | 3223 | 435 366 5119 | 9743 3223 35 | 0.001 % | 32.39/32.40 c | 4932 | 435 366 5119 | 10717 4932 36 | 0.001 % | 32.50/32.53 c | 7496 | 435 366 5119 | 11789 7496 37 | 0.001 % | 32.69/32.79 c | 11340 | 435 366 5119 | 12968 11340 38 | 0.001 % | 33.09/33.18 c | 17106 | 435 366 5119 | 14265 10569 40 | 0.001 % | 33.69/33.79 c | 25757 | 435 366 5119 | 15692 12035 45 | 0.001 % | 34.80/34.84 c | 38733 | 435 366 5119 | 17261 9192 46 | 0.001 % | 36.49/36.56 c | 58194 | 435 366 5119 | 18987 11289 49 | 0.001 % | 39.19/39.23 c | 87388 | 435 366 5119 | 20886 11858 52 | 0.001 % | 42.39/42.48 c =============================================================================== 43.10/43.12 c core #5 43.10/43.12 c ============================[ Search Statistics ]============================== 43.10/43.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 43.10/43.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 43.10/43.12 c =============================================================================== 43.10/43.12 c | 0 | 504 430 6080 | 5000 0 nan | 0.000 % | 43.10/43.13 c | 100 | 504 430 6080 | 5500 100 28 | 0.000 % | 43.10/43.14 c | 251 | 504 430 6080 | 6050 251 27 | 0.000 % | 43.10/43.15 c | 476 | 504 430 6080 | 6655 476 31 | 0.000 % | 43.10/43.16 c | 813 | 504 430 6080 | 7320 813 33 | 0.000 % | 43.10/43.18 c | 1319 | 504 430 6080 | 8052 1319 34 | 0.000 % | 43.19/43.21 c | 2079 | 504 430 6080 | 8857 2079 34 | 0.000 % | 43.19/43.25 c | 3219 | 504 430 6080 | 9743 3219 33 | 0.000 % | 43.29/43.33 c | 4927 | 504 430 6080 | 10717 4927 34 | 0.000 % | 43.39/43.47 c | 7489 | 504 430 6080 | 11789 7489 36 | 0.000 % | 43.69/43.70 c | 11333 | 504 430 6080 | 12968 11333 37 | 0.000 % | 44.00/44.08 c | 17102 | 504 430 6080 | 14265 10556 43 | 0.000 % | 44.70/44.79 c | 25753 | 504 430 6080 | 15692 12021 46 | 0.000 % | 45.79/45.87 c | 38729 | 504 430 6080 | 17261 9201 49 | 0.000 % | 47.49/47.52 c | 58190 | 504 430 6080 | 18987 11299 47 | 0.000 % | 49.99/50.04 c | 87384 | 504 430 6080 | 20886 11847 50 | 0.000 % | 51.99/52.08 c =============================================================================== 52.60/52.66 c core #6 52.60/52.66 c ============================[ Search Statistics ]============================== 52.60/52.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 52.60/52.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 52.60/52.66 c =============================================================================== 52.60/52.66 c | 0 | 577 493 7036 | 5000 0 nan | 0.000 % | 52.60/52.67 c | 102 | 577 493 7036 | 5500 102 33 | 0.000 % | 52.60/52.68 c | 254 | 577 493 7036 | 6050 254 31 | 0.000 % | 52.60/52.69 c | 480 | 577 493 7036 | 6655 480 35 | 0.000 % | 52.60/52.70 c | 817 | 577 493 7036 | 7320 817 35 | 0.000 % | 52.70/52.71 c | 1323 | 577 493 7036 | 8052 1323 35 | 0.000 % | 52.70/52.74 c | 2082 | 577 493 7036 | 8857 2082 36 | 0.000 % | 52.70/52.79 c | 3222 | 577 493 7036 | 9743 3222 38 | 0.000 % | 52.80/52.87 c | 4930 | 577 493 7036 | 10717 4930 37 | 0.000 % | 52.99/53.00 c | 7493 | 577 493 7036 | 11789 7493 37 | 0.000 % | 53.19/53.26 c | 11338 | 577 493 7036 | 12968 11338 39 | 0.000 % | 53.60/53.68 c | 17104 | 577 493 7036 | 14265 10565 44 | 0.000 % | 54.29/54.35 c | 25753 | 577 493 7036 | 15692 12035 47 | 0.000 % | 55.39/55.41 c | 38728 | 577 493 7036 | 17261 9214 46 | 0.000 % | 57.00/57.04 c | 58190 | 577 493 7036 | 18987 11294 49 | 0.000 % | 59.69/59.72 c | 87385 | 577 493 7036 | 20886 11855 47 | 0.000 % | 62.60/62.64 c =============================================================================== 63.20/63.26 c core #7 63.20/63.26 c ============================[ Search Statistics ]============================== 63.20/63.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 63.20/63.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 63.20/63.26 c =============================================================================== 63.20/63.26 c | 0 | 652 556 7996 | 5000 0 nan | 0.000 % | 63.20/63.27 c | 102 | 652 556 7996 | 5500 102 29 | 0.000 % | 63.20/63.28 c | 253 | 652 556 7996 | 6050 253 27 | 0.000 % | 63.20/63.29 c | 478 | 652 556 7996 | 6655 478 27 | 0.000 % | 63.30/63.30 c | 816 | 652 556 7996 | 7320 816 29 | 0.000 % | 63.30/63.32 c | 1322 | 652 556 7996 | 8052 1322 32 | 0.000 % | 63.30/63.35 c | 2083 | 652 556 7996 | 8857 2083 33 | 0.000 % | 63.30/63.39 c | 3222 | 652 556 7996 | 9743 3222 35 | 0.000 % | 63.39/63.48 c | 4930 | 652 556 7996 | 10717 4930 36 | 0.000 % | 63.59/63.64 c | 7496 | 652 556 7996 | 11789 7496 38 | 0.000 % | 63.79/63.87 c | 11340 | 652 556 7996 | 12968 11340 39 | 0.000 % | 64.19/64.29 c | 17106 | 652 556 7996 | 14265 10575 41 | 0.000 % | 64.90/64.93 c | 25755 | 652 556 7996 | 15692 12046 43 | 0.000 % | 65.90/65.92 c | 38731 | 652 556 7996 | 17261 9241 48 | 0.000 % | 67.39/67.47 c | 58196 | 652 556 7996 | 18987 11329 50 | 0.000 % | 70.30/70.36 c | 87389 | 652 556 7996 | 20886 11885 51 | 0.000 % | 74.40/74.47 c | 131179 | 652 556 7996 | 22974 13706 47 | 0.007 % | 75.10/75.15 c =============================================================================== 75.80/75.86 c core #8 75.80/75.86 c ============================[ Search Statistics ]============================== 75.80/75.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 75.80/75.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 75.80/75.86 c =============================================================================== 75.80/75.86 c | 0 | 713 617 8913 | 5000 0 nan | 0.000 % | 75.80/75.88 c | 100 | 713 617 8913 | 5500 100 31 | 0.000 % | 75.80/75.89 c | 250 | 713 617 8913 | 6050 250 27 | 0.000 % | 75.80/75.90 c | 475 | 713 617 8913 | 6655 475 32 | 0.000 % | 75.90/75.91 c | 812 | 713 617 8913 | 7320 812 33 | 0.000 % | 75.90/75.93 c | 1323 | 713 617 8913 | 8052 1323 35 | 0.000 % | 75.90/75.96 c | 2082 | 713 617 8913 | 8857 2082 35 | 0.000 % | 75.99/76.01 c | 3225 | 713 617 8913 | 9743 3225 36 | 0.000 % | 76.10/76.10 c | 4934 | 713 617 8913 | 10717 4934 36 | 0.000 % | 76.20/76.26 c | 7498 | 713 617 8913 | 11789 7498 37 | 0.000 % | 76.49/76.52 c | 11343 | 713 617 8913 | 12968 11343 37 | 0.000 % | 76.90/76.91 c | 17109 | 713 617 8913 | 14265 10576 39 | 0.000 % | 77.49/77.54 c | 25758 | 713 617 8913 | 15692 12043 45 | 0.000 % | 78.59/78.60 c | 38733 | 713 617 8913 | 17261 9218 46 | 0.000 % | 80.20/80.26 c | 58194 | 713 617 8913 | 18987 11308 44 | 0.000 % | 82.79/82.80 c | 87389 | 713 617 8913 | 20886 11875 47 | 0.000 % | 86.19/86.25 c =============================================================================== 86.80/86.87 c core #9 86.80/86.87 c ============================[ Search Statistics ]============================== 86.80/86.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 86.80/86.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 86.80/86.87 c =============================================================================== 86.80/86.87 c | 0 | 804 678 9890 | 5000 0 nan | 0.000 % | 86.80/86.89 c | 100 | 804 678 9890 | 5500 100 32 | 0.000 % | 86.80/86.90 c | 251 | 804 678 9890 | 6050 251 29 | 0.000 % | 86.89/86.91 c | 479 | 804 678 9890 | 6655 479 30 | 0.000 % | 86.89/86.92 c | 818 | 804 678 9890 | 7320 818 32 | 0.000 % | 86.89/86.94 c | 1326 | 804 678 9890 | 8052 1326 33 | 0.000 % | 86.89/86.97 c | 2085 | 804 678 9890 | 8857 2085 34 | 0.000 % | 87.00/87.02 c | 3224 | 804 678 9890 | 9743 3224 33 | 0.000 % | 87.09/87.11 c | 4932 | 804 678 9890 | 10717 4932 33 | 0.000 % | 87.19/87.26 c | 7494 | 804 678 9890 | 11789 7494 36 | 0.000 % | 87.49/87.50 c | 11340 | 804 678 9890 | 12968 11340 36 | 0.000 % | 87.79/87.88 c | 17108 | 804 678 9890 | 14265 10568 40 | 0.000 % | 88.50/88.55 c | 25758 | 804 678 9890 | 15692 12027 43 | 0.000 % | 89.59/89.60 c | 38735 | 804 678 9890 | 17261 9177 50 | 0.000 % | 91.20/91.22 c | 58196 | 804 678 9890 | 18987 11297 45 | 0.000 % | 93.60/93.62 c | 87390 | 804 678 9890 | 20886 11870 48 | 0.000 % | 96.29/96.35 c =============================================================================== 96.89/96.94 c core #10 96.89/96.94 c ============================[ Search Statistics ]============================== 96.89/96.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.89/96.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.89/96.94 c =============================================================================== 96.89/96.94 c | 0 | 863 736 10771 | 5000 0 nan | 0.000 % | 96.89/96.96 c | 100 | 863 736 10771 | 5500 100 36 | 0.000 % | 96.89/96.97 c | 251 | 863 736 10771 | 6050 251 34 | 0.000 % | 96.89/96.98 c | 476 | 863 736 10771 | 6655 476 36 | 0.000 % | 96.99/97.00 c | 813 | 863 736 10771 | 7320 813 36 | 0.000 % | 96.99/97.02 c | 1320 | 863 736 10771 | 8052 1320 35 | 0.000 % | 96.99/97.05 c | 2080 | 863 736 10771 | 8857 2080 35 | 0.000 % | 97.09/97.11 c | 3219 | 863 736 10771 | 9743 3219 35 | 0.000 % | 97.20/97.21 c | 4928 | 863 736 10771 | 10717 4928 36 | 0.000 % | 97.30/97.36 c | 7490 | 863 736 10771 | 11789 7490 36 | 0.000 % | 97.59/97.63 c | 11337 | 863 736 10771 | 12968 11337 37 | 0.000 % | 98.00/98.09 c | 17104 | 863 736 10771 | 14265 10559 40 | 0.000 % | 98.80/98.82 c | 25753 | 863 736 10771 | 15692 12021 42 | 0.000 % | 99.89/99.96 c | 38728 | 863 736 10771 | 17261 9193 45 | 0.000 % | 101.39/101.46 c | 58189 | 863 736 10771 | 18987 11273 44 | 0.000 % | 103.89/103.90 c | 87383 | 863 736 10771 | 20886 11828 47 | 0.000 % | 107.89/107.98 c | 131173 | 863 736 10771 | 22974 13642 47 | 0.000 % | 110.10/110.16 c =============================================================================== 110.89/110.95 c core #11 110.89/110.95 c ============================[ Search Statistics ]============================== 110.89/110.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 110.89/110.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 110.89/110.95 c =============================================================================== 110.89/110.95 c | 0 | 977 794 11762 | 5000 0 nan | 0.000 % | 110.89/110.97 c | 102 | 977 794 11762 | 5500 102 37 | 0.000 % | 110.89/110.98 c | 253 | 977 794 11762 | 6050 253 34 | 0.000 % | 110.89/110.99 c | 478 | 977 794 11762 | 6655 478 32 | 0.000 % | 111.00/111.00 c | 816 | 977 794 11762 | 7320 816 31 | 0.000 % | 111.00/111.02 c | 1322 | 977 794 11762 | 8052 1322 30 | 0.000 % | 111.00/111.06 c | 2081 | 977 794 11762 | 8857 2081 32 | 0.000 % | 111.10/111.11 c | 3221 | 977 794 11762 | 9743 3221 33 | 0.000 % | 111.10/111.19 c | 4929 | 977 794 11762 | 10717 4929 34 | 0.000 % | 111.29/111.34 c | 7493 | 977 794 11762 | 11789 7493 36 | 0.000 % | 111.60/111.62 c | 11337 | 977 794 11762 | 12968 11337 38 | 0.000 % | 111.99/112.08 c | 17105 | 977 794 11762 | 14265 10572 42 | 0.000 % | 112.79/112.80 c | 25754 | 977 794 11762 | 15692 12047 45 | 0.000 % | 113.79/113.84 c | 38729 | 977 794 11762 | 17261 9211 43 | 0.000 % | 115.40/115.44 c | 58191 | 977 794 11762 | 18987 11294 47 | 0.000 % | 117.99/118.07 c | 87386 | 977 794 11762 | 20886 11827 50 | 0.000 % | 122.19/122.25 c | 131175 | 977 794 11762 | 22974 13620 50 | 0.000 % | 127.79/127.85 c =============================================================================== 128.80/128.81 c core #12 128.80/128.81 c ============================[ Search Statistics ]============================== 128.80/128.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 128.80/128.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 128.80/128.81 c =============================================================================== 128.80/128.81 c | 0 | 1064 851 12686 | 5000 0 nan | 0.000 % | 128.80/128.83 c | 101 | 1064 851 12686 | 5500 101 42 | 0.000 % | 128.80/128.84 c | 253 | 1064 851 12686 | 6050 253 37 | 0.000 % | 128.80/128.85 c | 479 | 1064 851 12686 | 6655 479 35 | 0.000 % | 128.80/128.86 c | 818 | 1064 851 12686 | 7320 818 34 | 0.000 % | 128.80/128.89 c | 1324 | 1064 851 12686 | 8052 1324 34 | 0.000 % | 128.90/128.92 c | 2084 | 1064 851 12686 | 8857 2084 33 | 0.000 % | 128.90/128.97 c | 3223 | 1064 851 12686 | 9743 3223 34 | 0.000 % | 129.00/129.05 c | 4932 | 1064 851 12686 | 10717 4932 35 | 0.000 % | 129.20/129.21 c | 7495 | 1064 851 12686 | 11789 7495 35 | 0.000 % | 129.39/129.47 c | 11339 | 1064 851 12686 | 12968 11339 36 | 0.000 % | 129.80/129.88 c | 17106 | 1064 851 12686 | 14265 10579 37 | 0.000 % | 130.49/130.54 c | 25756 | 1064 851 12686 | 15692 12042 42 | 0.000 % | 131.69/131.70 c | 38731 | 1064 851 12686 | 17261 9235 45 | 0.000 % | 133.50/133.54 c | 58194 | 1064 851 12686 | 18987 11338 45 | 0.000 % | 136.40/136.48 c | 87387 | 1064 851 12686 | 20886 11886 48 | 0.000 % | 140.70/140.73 c | 131176 | 1064 851 12686 | 22974 13704 47 | 0.000 % | 146.30/146.36 c =============================================================================== 147.30/147.39 c core #13 147.30/147.39 c ============================[ Search Statistics ]============================== 147.30/147.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 147.30/147.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 147.30/147.39 c =============================================================================== 147.30/147.39 c | 0 | 1158 908 13624 | 5000 0 nan | 0.000 % | 147.40/147.42 c | 100 | 1158 908 13624 | 5500 100 42 | 0.000 % | 147.40/147.42 c | 250 | 1158 908 13624 | 6050 250 36 | 0.000 % | 147.40/147.43 c | 475 | 1158 908 13624 | 6655 475 36 | 0.000 % | 147.40/147.45 c | 813 | 1158 908 13624 | 7320 813 35 | 0.000 % | 147.40/147.47 c | 1319 | 1158 908 13624 | 8052 1319 36 | 0.000 % | 147.50/147.51 c | 2079 | 1158 908 13624 | 8857 2079 35 | 0.000 % | 147.50/147.56 c | 3218 | 1158 908 13624 | 9743 3218 34 | 0.000 % | 147.59/147.66 c | 4926 | 1158 908 13624 | 10717 4926 34 | 0.000 % | 147.69/147.79 c | 7488 | 1158 908 13624 | 11789 7488 34 | 0.000 % | 147.99/148.04 c | 11332 | 1158 908 13624 | 12968 11332 37 | 0.000 % | 148.40/148.48 c | 17099 | 1158 908 13624 | 14265 10570 43 | 0.000 % | 149.10/149.18 c | 25748 | 1158 908 13624 | 15692 12031 44 | 0.000 % | 150.29/150.35 c | 38722 | 1158 908 13624 | 17261 9211 44 | 0.000 % | 152.00/152.05 c | 58183 | 1158 908 13624 | 18987 11324 43 | 0.000 % | 154.60/154.66 c | 87376 | 1158 908 13624 | 20886 11865 48 | 0.000 % | 158.60/158.61 c | 131166 | 1158 908 13624 | 22974 13693 47 | 0.000 % | 163.39/163.49 c =============================================================================== 164.39/164.43 c core #14 164.39/164.43 c ============================[ Search Statistics ]============================== 164.39/164.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 164.39/164.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 164.39/164.43 c =============================================================================== 164.39/164.43 c | 0 | 1226 965 14510 | 5000 0 nan | 0.000 % | 164.39/164.46 c | 102 | 1226 965 14510 | 5500 102 46 | 0.000 % | 164.39/164.47 c | 253 | 1226 965 14510 | 6050 253 47 | 0.000 % | 164.39/164.48 c | 479 | 1226 965 14510 | 6655 479 42 | 0.000 % | 164.39/164.49 c | 817 | 1226 965 14510 | 7320 817 38 | 0.000 % | 164.50/164.52 c | 1325 | 1226 965 14510 | 8052 1325 35 | 0.000 % | 164.50/164.55 c | 2085 | 1226 965 14510 | 8857 2085 34 | 0.000 % | 164.60/164.60 c | 3224 | 1226 965 14510 | 9743 3224 35 | 0.000 % | 164.70/164.70 c | 4933 | 1226 965 14510 | 10717 4933 34 | 0.000 % | 164.80/164.87 c | 7495 | 1226 965 14510 | 11789 7495 37 | 0.000 % | 165.10/165.16 c | 11344 | 1226 965 14510 | 12968 11344 39 | 0.000 % | 165.60/165.64 c | 17112 | 1226 965 14510 | 14265 10570 47 | 0.000 % | 166.29/166.31 c | 25763 | 1226 965 14510 | 15692 12031 45 | 0.000 % | 167.39/167.44 c | 38737 | 1226 965 14510 | 17261 9220 40 | 0.000 % | 168.99/169.04 c | 58198 | 1226 965 14510 | 18987 11300 49 | 0.000 % | 171.70/171.75 c | 87391 | 1226 965 14510 | 20886 11859 44 | 0.000 % | 176.40/176.46 c | 131181 | 1226 965 14510 | 22974 13660 51 | 0.000 % | 182.80/182.88 c | 196866 | 1226 965 14510 | 25272 21471 49 | 0.000 % | 185.10/185.17 c =============================================================================== 186.30/186.37 c core #15 186.30/186.37 c ============================[ Search Statistics ]============================== 186.30/186.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.30/186.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.30/186.37 c =============================================================================== 186.30/186.37 c | 0 | 1304 1022 15416 | 5000 0 nan | 0.000 % | 186.40/186.40 c | 101 | 1304 1022 15416 | 5500 101 43 | 0.000 % | 186.40/186.40 c | 251 | 1304 1022 15416 | 6050 251 36 | 0.000 % | 186.40/186.42 c | 476 | 1304 1022 15416 | 6655 476 35 | 0.000 % | 186.40/186.43 c | 813 | 1304 1022 15416 | 7320 813 33 | 0.000 % | 186.40/186.45 c | 1319 | 1304 1022 15416 | 8052 1319 33 | 0.000 % | 186.40/186.49 c | 2082 | 1304 1022 15416 | 8857 2082 35 | 0.000 % | 186.50/186.54 c | 3222 | 1304 1022 15416 | 9743 3222 34 | 0.000 % | 186.60/186.63 c | 4930 | 1304 1022 15416 | 10717 4930 35 | 0.000 % | 186.80/186.80 c | 7493 | 1304 1022 15416 | 11789 7493 36 | 0.000 % | 187.00/187.08 c | 11338 | 1304 1022 15416 | 12968 11338 36 | 0.000 % | 187.50/187.55 c | 17104 | 1304 1022 15416 | 14265 10569 38 | 0.000 % | 188.29/188.31 c | 25754 | 1304 1022 15416 | 15692 12044 39 | 0.000 % | 189.50/189.52 c | 38729 | 1304 1022 15416 | 17261 9234 43 | 0.000 % | 191.20/191.26 c | 58190 | 1304 1022 15416 | 18987 11323 44 | 0.000 % | 194.00/194.10 c | 87383 | 1304 1022 15416 | 20886 11882 46 | 0.000 % | 198.30/198.33 c | 131174 | 1304 1022 15416 | 22974 13678 42 | 0.000 % | 198.59/198.64 c =============================================================================== 198.59/198.64 c #cores: 15 198.59/198.64 c Final Weight: 15 198.59/198.64 o 15 198.59/198.64 s OPTIMUM FOUND 198.59/198.64 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 198.59/198.64 c Total CPU time: 195.836 s
OK 15
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689906-1277898186/watcher-2689906-1277898186 -o /tmp/evaluation-result-2689906-1277898186/solver-2689906-1277898186 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689906-1277898186.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: 2.10 1.99 1.99 4/178 11691 /proc/meminfo: memFree=31305884/32950904 swapFree=67111528/67111528 [pid=11691] ppid=11689 vsize=2576 CPUtime=0 /proc/11691/stat : 11691 (wbo1.4a) R 11689 11691 11542 0 -1 4202496 288 0 0 0 0 0 0 0 25 0 1 0 131115373 2637824 203 4089446400 134512640 135751879 4292446560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11691/statm: 644 203 143 303 0 339 0 [startup+0.017262 s] /proc/loadavg: 2.10 1.99 1.99 4/178 11691 /proc/meminfo: memFree=31305884/32950904 swapFree=67111528/67111528 [pid=11691] ppid=11689 vsize=2708 CPUtime=0.01 /proc/11691/stat : 11691 (wbo1.4a) R 11689 11691 11542 0 -1 4202496 325 0 0 0 1 0 0 0 25 0 1 0 131115373 2772992 240 4089446400 134512640 135751879 4292446560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11691/statm: 677 240 143 303 0 372 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2708 [startup+0.101248 s] /proc/loadavg: 2.10 1.99 1.99 4/178 11691 /proc/meminfo: memFree=31305884/32950904 swapFree=67111528/67111528 [pid=11691] ppid=11689 vsize=3632 CPUtime=0.09 /proc/11691/stat : 11691 (wbo1.4a) R 11689 11691 11542 0 -1 4202496 550 0 0 0 9 0 0 0 25 0 1 0 131115373 3719168 465 4089446400 134512640 135751879 4292446560 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11691/statm: 908 465 143 303 0 603 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3632 [startup+0.300212 s] /proc/loadavg: 2.10 1.99 1.99 4/178 11691 /proc/meminfo: memFree=31305884/32950904 swapFree=67111528/67111528 [pid=11691] ppid=11689 vsize=5244 CPUtime=0.29 /proc/11691/stat : 11691 (wbo1.4a) R 11689 11691 11542 0 -1 4202496 939 0 0 0 28 1 0 0 25 0 1 0 131115373 5369856 854 4089446400 134512640 135751879 4292446560 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11691/statm: 1311 854 143 303 0 1006 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5244 [startup+0.700141 s] /proc/loadavg: 2.10 1.99 1.99 4/178 11691 /proc/meminfo: memFree=31305884/32950904 swapFree=67111528/67111528 [pid=11691] ppid=11689 vsize=7356 CPUtime=0.69 /proc/11691/stat : 11691 (wbo1.4a) R 11689 11691 11542 0 -1 4202496 1489 0 0 0 68 1 0 0 25 0 1 0 131115373 7532544 1404 4089446400 134512640 135751879 4292446560 18446744073709551615 134616320 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11691/statm: 1839 1405 143 303 0 1534 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7356 [startup+1.501 s] /proc/loadavg: 2.10 1.99 1.99 3/179 11692 /proc/meminfo: memFree=31298932/32950904 swapFree=67111528/67111528 [pid=11691] ppid=11689 vsize=11584 CPUtime=1.49 /proc/11691/stat : 11691 (wbo1.4a) R 11689 11691 11542 0 -1 4202496 2531 0 0 0 146 3 0 0 25 0 1 0 131115373 11862016 2446 4089446400 134512640 135751879 4292446560 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11691/statm: 2896 2446 143 303 0 2591 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11584 [startup+3.10071 s] /proc/loadavg: 2.09 1.99 1.99 3/179 11692 /proc/meminfo: memFree=31293600/32950904 swapFree=67111528/67111528 [pid=11691] ppid=11689 vsize=18980 CPUtime=3.09 /proc/11691/stat : 11691 (wbo1.4a) R 11689 11691 11542 0 -1 4202496 4377 0 0 0 304 5 0 0 25 0 1 0 131115373 19435520 4292 4089446400 134512640 135751879 4292446560 18446744073709551615 134602436 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11691/statm: 4745 4292 143 303 0 4440 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18980 [startup+6.30014 s] /proc/loadavg: 2.09 1.99 1.99 3/179 11692 /proc/meminfo: memFree=31278720/32950904 swapFree=67111528/67111528 [pid=11691] ppid=11689 vsize=33508 CPUtime=6.29 /proc/11691/stat : 11691 (wbo1.4a) R 11689 11691 11542 0 -1 4202496 8002 0 0 0 618 11 0 0 25 0 1 0 131115373 34312192 7917 4089446400 134512640 135751879 4292446560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11691/statm: 8377 7917 143 303 0 8072 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33508 [startup+12.701 s] /proc/loadavg: 2.08 1.99 1.99 3/179 11692 /proc/meminfo: memFree=31262572/32950904 swapFree=67111528/67111528 [pid=11691] ppid=11689 vsize=48608 CPUtime=12.69 /proc/11691/stat : 11691 (wbo1.4a) R 11689 11691 11542 0 -1 4202496 11787 0 0 0 1247 22 0 0 25 0 1 0 131115373 49774592 11702 4089446400 134512640 135751879 4292446560 18446744073709551615 134603011 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11691/statm: 12152 11702 146 303 0 11847 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 48608 [startup+25.5007 s] /proc/loadavg: 2.06 1.99 1.99 3/179 11693 /proc/meminfo: memFree=31221672/32950904 swapFree=67111528/67111528 [pid=11691] ppid=11689 vsize=85988 CPUtime=25.49 /proc/11691/stat : 11691 (wbo1.4a) R 11689 11691 11542 0 -1 4202496 21140 0 0 0 2506 43 0 0 25 0 1 0 131115373 88051712 21055 4089446400 134512640 135751879 4292446560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11691/statm: 21497 21055 146 303 0 21192 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 85988 [startup+51.1002 s] /proc/loadavg: 2.04 1.99 1.99 3/179 11694 /proc/meminfo: memFree=31160112/32950904 swapFree=67111528/67111528 [pid=11691] ppid=11689 vsize=149200 CPUtime=51.09 /proc/11691/stat : 11691 (wbo1.4a) R 11689 11691 11542 0 -1 4202496 36932 0 0 0 5034 75 0 0 25 0 1 0 131115373 152780800 36847 4089446400 134512640 135751879 4292446560 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11691/statm: 37300 36847 146 303 0 36995 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 149200 [startup+102.306 s] /proc/loadavg: 2.02 1.99 1.99 3/179 11695 /proc/meminfo: memFree=31033324/32950904 swapFree=67111528/67111528 [pid=11691] ppid=11689 vsize=269524 CPUtime=102.3 /proc/11691/stat : 11691 (wbo1.4a) R 11689 11691 11542 0 -1 4202496 67018 0 0 0 10079 151 0 0 25 0 1 0 131115373 275992576 66933 4089446400 134512640 135751879 4292446560 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11691/statm: 67381 66933 146 303 0 67076 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 269524 [startup+162.3 s] /proc/loadavg: 2.00 1.99 1.99 3/179 11696 /proc/meminfo: memFree=30888796/32950904 swapFree=67111528/67111528 [pid=11691] ppid=11689 vsize=415488 CPUtime=162.3 /proc/11691/stat : 11691 (wbo1.4a) R 11689 11691 11542 0 -1 4202496 103507 0 0 0 15997 233 0 0 25 0 1 0 131115373 425459712 103422 4089446400 134512640 135751879 4292446560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11691/statm: 103872 103422 146 303 0 103567 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 415488 Solver just ended. Dumping a history of the last processes samples [startup+179.1 s] /proc/loadavg: 2.00 1.99 1.99 3/179 11697 /proc/meminfo: memFree=30855052/32950904 swapFree=67111528/67111528 [pid=11691] ppid=11689 vsize=449720 CPUtime=179.1 /proc/11691/stat : 11691 (wbo1.4a) R 11689 11691 11542 0 -1 4202496 112066 0 0 0 17650 260 0 0 25 0 1 0 131115373 460513280 111981 4089446400 134512640 135751879 4292446560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11691/statm: 112430 111981 146 303 0 112125 0 Current children cumulated CPU time (s) 179.1 Current children cumulated vsize (KiB) 449720 [startup+191.901 s] /proc/loadavg: 2.00 1.99 1.99 3/179 11697 /proc/meminfo: memFree=30823176/32950904 swapFree=67111528/67111528 [pid=11691] ppid=11689 vsize=477848 CPUtime=191.89 /proc/11691/stat : 11691 (wbo1.4a) R 11689 11691 11542 0 -1 4202496 119123 0 0 0 18915 274 0 0 25 0 1 0 131115373 489316352 119038 4089446400 134512640 135751879 4292446560 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11691/statm: 119462 119038 146 303 0 119157 0 Current children cumulated CPU time (s) 191.89 Current children cumulated vsize (KiB) 477848 [startup+195.1 s] /proc/loadavg: 2.00 1.99 1.99 3/179 11697 /proc/meminfo: memFree=30823048/32950904 swapFree=67111528/67111528 [pid=11691] ppid=11689 vsize=477848 CPUtime=195.09 /proc/11691/stat : 11691 (wbo1.4a) R 11689 11691 11542 0 -1 4202496 119123 0 0 0 19233 276 0 0 25 0 1 0 131115373 489316352 119038 4089446400 134512640 135751879 4292446560 18446744073709551615 135204161 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11691/statm: 119462 119038 146 303 0 119157 0 Current children cumulated CPU time (s) 195.09 Current children cumulated vsize (KiB) 477848 [startup+196.7 s] /proc/loadavg: 2.00 1.99 1.99 3/179 11697 /proc/meminfo: memFree=30822676/32950904 swapFree=67111528/67111528 [pid=11691] ppid=11689 vsize=480384 CPUtime=196.7 /proc/11691/stat : 11691 (wbo1.4a) R 11689 11691 11542 0 -1 4202496 119737 0 0 0 19391 279 0 0 25 0 1 0 131115373 491913216 119652 4089446400 134512640 135751879 4292446560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11691/statm: 120096 119652 146 303 0 119791 0 Current children cumulated CPU time (s) 196.7 Current children cumulated vsize (KiB) 480384 [startup+197.501 s] /proc/loadavg: 2.00 1.99 1.99 3/179 11698 /proc/meminfo: memFree=30820444/32950904 swapFree=67111528/67111528 [pid=11691] ppid=11689 vsize=482100 CPUtime=197.5 /proc/11691/stat : 11691 (wbo1.4a) R 11689 11691 11542 0 -1 4202496 120159 0 0 0 19470 280 0 0 25 0 1 0 131115373 493670400 120074 4089446400 134512640 135751879 4292446560 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11691/statm: 120525 120074 146 303 0 120220 0 Current children cumulated CPU time (s) 197.5 Current children cumulated vsize (KiB) 482100 [startup+198.301 s] /proc/loadavg: 2.00 1.99 1.99 3/179 11698 /proc/meminfo: memFree=30818212/32950904 swapFree=67111528/67111528 [pid=11691] ppid=11689 vsize=483684 CPUtime=198.3 /proc/11691/stat : 11691 (wbo1.4a) R 11689 11691 11542 0 -1 4202496 120580 0 0 0 19549 281 0 0 25 0 1 0 131115373 495292416 120495 4089446400 134512640 135751879 4292446560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11691/statm: 120921 120495 146 303 0 120616 0 Current children cumulated CPU time (s) 198.3 Current children cumulated vsize (KiB) 483684 [startup+198.501 s] /proc/loadavg: 2.00 1.99 1.99 3/179 11698 /proc/meminfo: memFree=30818212/32950904 swapFree=67111528/67111528 [pid=11691] ppid=11689 vsize=484212 CPUtime=198.5 /proc/11691/stat : 11691 (wbo1.4a) R 11689 11691 11542 0 -1 4202496 120700 0 0 0 19569 281 0 0 25 0 1 0 131115373 495833088 120615 4089446400 134512640 135751879 4292446560 18446744073709551615 134611147 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11691/statm: 121053 120615 146 303 0 120748 0 Current children cumulated CPU time (s) 198.5 Current children cumulated vsize (KiB) 484212 [startup+198.601 s] /proc/loadavg: 2.00 1.99 1.99 3/179 11698 /proc/meminfo: memFree=30818212/32950904 swapFree=67111528/67111528 [pid=11691] ppid=11689 vsize=484476 CPUtime=198.59 /proc/11691/stat : 11691 (wbo1.4a) R 11689 11691 11542 0 -1 4202496 120772 0 0 0 19578 281 0 0 25 0 1 0 131115373 496103424 120687 4089446400 134512640 135751879 4292446560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11691/statm: 121119 120687 146 303 0 120814 0 Current children cumulated CPU time (s) 198.59 Current children cumulated vsize (KiB) 484476 Child status: 0 Real time (s): 198.665 CPU time (s): 198.671 CPU user time (s): 195.836 CPU system time (s): 2.83457 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 484476 getrusage(RUSAGE_CHILDREN,...) data: user time used= 195.836 system time used= 2.83457 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 120810 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= 7 involuntary context switches= 170 runsolver used 0.266959 second user time and 0.647901 second system time The end
Begin job on node121 at 2010-06-30 13:43:06 IDJOB=2689906 IDBENCH=78828 IDSOLVER=1200 FILE ID=node121/2689906-1277898186 PBS_JOBID= 11197191 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110973163--soft-33-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689906-1277898186/watcher-2689906-1277898186 -o /tmp/evaluation-result-2689906-1277898186/solver-2689906-1277898186 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689906-1277898186.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e1c1b8cf9bad61151281f614914c2e6f RANDOM SEED=1870333325 node121.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.876 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.75 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.876 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 : 5226.23 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.876 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.75 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.876 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.83 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.876 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.75 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.876 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.82 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.876 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.876 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950904 kB MemFree: 31306536 kB Buffers: 181308 kB Cached: 1100272 kB SwapCached: 0 kB Active: 718612 kB Inactive: 780544 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950904 kB LowFree: 31306536 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2780 kB Writeback: 0 kB AnonPages: 218136 kB Mapped: 16052 kB Slab: 80496 kB PageTables: 5160 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586980 kB Committed_AS: 367564 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node121 at 2010-06-30 13:46:25