Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 178.402 | 178.404 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969170--soft-33-100-0.wbo |
MD5SUM | 6dd8afea921ee9eef16bd5f535a42450 |
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 | 14 |
Best CPU time to get the best result obtained on this benchmark | 0.576911 |
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 | 1227 |
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-2689869-1277896987.wbo. 0.00/0.00 c Instance file HOME/instance-2689869-1277896987.wbo 0.00/0.00 c File size is 10299 bytes. 0.00/0.00 c Highest Coefficient sum: 1227 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 30 | 0.004 % | 0.00/0.00 c | 250 | 169 101 1205 | 6050 250 31 | 0.004 % | 0.00/0.01 c | 475 | 169 101 1205 | 6655 475 35 | 0.004 % | 0.00/0.02 c | 814 | 169 101 1205 | 7320 814 33 | 0.004 % | 0.00/0.03 c | 1322 | 169 101 1205 | 8052 1322 33 | 0.004 % | 0.03/0.05 c | 2081 | 169 101 1205 | 8857 2081 33 | 0.004 % | 0.03/0.09 c | 3222 | 169 101 1205 | 9743 3222 33 | 0.004 % | 0.09/0.16 c | 4930 | 169 101 1205 | 10717 4930 34 | 0.004 % | 0.19/0.27 c | 7494 | 169 101 1205 | 11789 7494 35 | 0.004 % | 0.39/0.49 c | 11340 | 169 101 1205 | 12968 11340 38 | 0.004 % | 0.79/0.84 c | 17106 | 169 101 1205 | 14265 10581 40 | 0.004 % | 1.39/1.40 c | 25755 | 169 101 1205 | 15692 12067 41 | 0.004 % | 2.19/2.22 c | 38729 | 169 101 1205 | 17261 9253 45 | 0.004 % | 3.29/3.39 c =============================================================================== 3.59/3.61 c core #1 3.59/3.61 c ============================[ Search Statistics ]============================== 3.59/3.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.61 c =============================================================================== 3.59/3.61 c | 0 | 236 169 2203 | 5000 0 nan | 0.000 % | 3.59/3.62 c | 100 | 236 169 2203 | 5500 100 32 | 0.002 % | 3.59/3.62 c | 256 | 236 169 2203 | 6050 256 36 | 0.002 % | 3.59/3.63 c | 484 | 236 169 2203 | 6655 484 36 | 0.002 % | 3.59/3.64 c | 821 | 236 169 2203 | 7320 821 36 | 0.002 % | 3.59/3.65 c | 1330 | 236 169 2203 | 8052 1330 34 | 0.002 % | 3.59/3.68 c | 2089 | 236 169 2203 | 8857 2089 33 | 0.002 % | 3.69/3.72 c | 3230 | 236 169 2203 | 9743 3230 32 | 0.002 % | 3.79/3.80 c | 4938 | 236 169 2203 | 10717 4938 35 | 0.002 % | 3.89/3.93 c | 7500 | 236 169 2203 | 11789 7500 34 | 0.002 % | 4.09/4.17 c | 11345 | 236 169 2203 | 12968 11345 38 | 0.002 % | 4.49/4.50 c | 17112 | 236 169 2203 | 14265 10586 42 | 0.002 % | 5.09/5.14 c | 25762 | 236 169 2203 | 15692 12047 45 | 0.002 % | 6.09/6.15 c | 38737 | 236 169 2203 | 17261 9225 44 | 0.002 % | 7.49/7.56 c | 58198 | 236 169 2203 | 18987 11315 43 | 0.002 % | 8.29/8.33 c =============================================================================== 8.59/8.63 c core #2 8.59/8.63 c ============================[ Search Statistics ]============================== 8.59/8.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.59/8.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.59/8.63 c =============================================================================== 8.59/8.63 c | 0 | 302 235 3176 | 5000 0 nan | 0.000 % | 8.59/8.63 c | 101 | 302 235 3176 | 5500 101 27 | 0.001 % | 8.59/8.64 c | 251 | 302 235 3176 | 6050 251 33 | 0.001 % | 8.59/8.64 c | 478 | 302 235 3176 | 6655 478 34 | 0.001 % | 8.59/8.65 c | 816 | 302 235 3176 | 7320 816 32 | 0.001 % | 8.59/8.67 c | 1323 | 302 235 3176 | 8052 1323 35 | 0.001 % | 8.59/8.70 c | 2082 | 302 235 3176 | 8857 2082 33 | 0.001 % | 8.70/8.74 c | 3222 | 302 235 3176 | 9743 3222 33 | 0.001 % | 8.79/8.81 c | 4931 | 302 235 3176 | 10717 4931 34 | 0.001 % | 8.89/8.94 c | 7495 | 302 235 3176 | 11789 7495 36 | 0.001 % | 9.09/9.19 c | 11340 | 302 235 3176 | 12968 11340 36 | 0.001 % | 9.49/9.54 c | 17106 | 302 235 3176 | 14265 10577 40 | 0.001 % | 10.09/10.18 c | 25757 | 302 235 3176 | 15692 12042 43 | 0.001 % | 11.09/11.13 c | 38732 | 302 235 3176 | 17261 9225 42 | 0.001 % | 12.49/12.59 c | 58194 | 302 235 3176 | 18987 11326 43 | 0.001 % | 13.89/13.92 c =============================================================================== 14.19/14.24 c core #3 14.19/14.24 c ============================[ Search Statistics ]============================== 14.19/14.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.19/14.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.19/14.24 c =============================================================================== 14.19/14.24 c | 0 | 371 301 4155 | 5000 0 nan | 0.000 % | 14.19/14.25 c | 100 | 371 301 4155 | 5500 100 29 | 0.001 % | 14.19/14.25 c | 250 | 371 301 4155 | 6050 250 33 | 0.001 % | 14.19/14.26 c | 477 | 371 301 4155 | 6655 477 32 | 0.001 % | 14.19/14.27 c | 814 | 371 301 4155 | 7320 814 32 | 0.001 % | 14.19/14.29 c | 1320 | 371 301 4155 | 8052 1320 31 | 0.001 % | 14.30/14.31 c | 2079 | 371 301 4155 | 8857 2079 32 | 0.001 % | 14.30/14.36 c | 3218 | 371 301 4155 | 9743 3218 32 | 0.001 % | 14.39/14.43 c | 4926 | 371 301 4155 | 10717 4926 36 | 0.001 % | 14.49/14.56 c | 7488 | 371 301 4155 | 11789 7488 37 | 0.001 % | 14.69/14.79 c | 11332 | 371 301 4155 | 12968 11332 38 | 0.001 % | 15.09/15.17 c | 17098 | 371 301 4155 | 14265 10570 43 | 0.001 % | 15.79/15.81 c | 25747 | 371 301 4155 | 15692 12041 45 | 0.001 % | 16.79/16.82 c | 38721 | 371 301 4155 | 17261 9236 43 | 0.001 % | 18.19/18.29 c | 58182 | 371 301 4155 | 18987 11345 42 | 0.001 % | 19.08/19.10 c =============================================================================== 19.38/19.40 c core #4 19.38/19.40 c ============================[ Search Statistics ]============================== 19.38/19.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.38/19.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.38/19.40 c =============================================================================== 19.38/19.40 c | 0 | 435 366 5119 | 5000 0 nan | 0.000 % | 19.38/19.41 c | 100 | 435 366 5119 | 5500 100 30 | 0.001 % | 19.38/19.42 c | 251 | 435 366 5119 | 6050 251 36 | 0.001 % | 19.38/19.42 c | 478 | 435 366 5119 | 6655 478 34 | 0.001 % | 19.38/19.43 c | 817 | 435 366 5119 | 7320 817 34 | 0.001 % | 19.38/19.45 c | 1327 | 435 366 5119 | 8052 1327 32 | 0.001 % | 19.38/19.48 c | 2087 | 435 366 5119 | 8857 2087 34 | 0.001 % | 19.48/19.52 c | 3227 | 435 366 5119 | 9743 3227 33 | 0.001 % | 19.48/19.60 c | 4937 | 435 366 5119 | 10717 4937 32 | 0.001 % | 19.69/19.73 c | 7500 | 435 366 5119 | 11789 7500 34 | 0.001 % | 19.89/19.96 c | 11346 | 435 366 5119 | 12968 11346 35 | 0.001 % | 20.28/20.33 c | 17114 | 435 366 5119 | 14265 10581 40 | 0.001 % | 20.89/20.94 c | 25764 | 435 366 5119 | 15692 12046 43 | 0.001 % | 21.89/21.90 c | 38738 | 435 366 5119 | 17261 9223 42 | 0.001 % | 23.29/23.35 c | 58199 | 435 366 5119 | 18987 11338 42 | 0.001 % | 25.58/25.60 c | 87392 | 403 366 5119 | 20886 1226 32 | 7.357 % | 25.89/25.97 c =============================================================================== 26.30/26.38 c core #5 26.30/26.38 c ============================[ Search Statistics ]============================== 26.30/26.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.30/26.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.30/26.38 c =============================================================================== 26.30/26.38 c | 0 | 504 430 6080 | 5000 0 nan | 0.000 % | 26.30/26.39 c | 101 | 504 430 6080 | 5500 101 28 | 0.000 % | 26.30/26.40 c | 251 | 504 430 6080 | 6050 251 34 | 0.000 % | 26.40/26.41 c | 476 | 504 430 6080 | 6655 476 30 | 0.000 % | 26.40/26.42 c | 814 | 504 430 6080 | 7320 814 27 | 0.000 % | 26.40/26.43 c | 1321 | 504 430 6080 | 8052 1321 32 | 0.000 % | 26.40/26.46 c | 2081 | 504 430 6080 | 8857 2081 30 | 0.000 % | 26.48/26.50 c | 3221 | 504 430 6080 | 9743 3221 31 | 0.000 % | 26.48/26.58 c | 4931 | 504 430 6080 | 10717 4931 32 | 0.000 % | 26.68/26.73 c | 7494 | 504 430 6080 | 11789 7494 33 | 0.000 % | 26.89/26.94 c | 11338 | 504 430 6080 | 12968 11338 35 | 0.000 % | 27.29/27.33 c | 17104 | 504 430 6080 | 14265 10565 39 | 0.000 % | 27.89/27.95 c | 25754 | 504 430 6080 | 15692 12053 41 | 0.000 % | 28.98/29.02 c | 38729 | 504 430 6080 | 17261 9233 44 | 0.000 % | 30.38/30.45 c | 58191 | 504 430 6080 | 18987 11330 39 | 0.000 % | 32.69/32.73 c | 87384 | 504 430 6080 | 20886 11895 45 | 0.000 % | 34.09/34.19 c =============================================================================== 34.58/34.68 c core #6 34.58/34.68 c ============================[ Search Statistics ]============================== 34.58/34.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.58/34.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.58/34.68 c =============================================================================== 34.58/34.68 c | 0 | 580 493 7042 | 5000 0 nan | 0.000 % | 34.58/34.69 c | 103 | 580 493 7042 | 5500 103 24 | 0.000 % | 34.58/34.69 c | 253 | 580 493 7042 | 6050 253 32 | 0.000 % | 34.68/34.70 c | 479 | 580 493 7042 | 6655 479 32 | 0.000 % | 34.68/34.71 c | 816 | 580 493 7042 | 7320 816 30 | 0.000 % | 34.68/34.73 c | 1322 | 580 493 7042 | 8052 1322 32 | 0.000 % | 34.68/34.76 c | 2082 | 580 493 7042 | 8857 2082 33 | 0.000 % | 34.78/34.81 c | 3223 | 580 493 7042 | 9743 3223 33 | 0.000 % | 34.78/34.89 c | 4932 | 580 493 7042 | 10717 4932 33 | 0.000 % | 34.98/35.02 c | 7494 | 580 493 7042 | 11789 7494 33 | 0.000 % | 35.19/35.27 c | 11339 | 580 493 7042 | 12968 11339 34 | 0.000 % | 35.59/35.69 c | 17107 | 580 493 7042 | 14265 10570 38 | 0.000 % | 36.29/36.37 c | 25756 | 580 493 7042 | 15692 12023 42 | 0.000 % | 37.39/37.44 c | 38731 | 580 493 7042 | 17261 9209 41 | 0.000 % | 38.98/39.04 c | 58192 | 580 493 7042 | 18987 11300 44 | 0.000 % | 41.29/41.30 c | 87385 | 559 493 7042 | 20886 8500 39 | 3.621 % | 41.38/41.47 c =============================================================================== 41.79/41.88 c core #7 41.79/41.88 c ============================[ Search Statistics ]============================== 41.79/41.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 41.79/41.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 41.79/41.88 c =============================================================================== 41.79/41.88 c | 0 | 657 556 8006 | 5000 0 nan | 0.000 % | 41.79/41.89 c | 101 | 657 556 8006 | 5500 101 26 | 0.000 % | 41.89/41.90 c | 252 | 657 556 8006 | 6050 252 36 | 0.000 % | 41.89/41.91 c | 478 | 657 556 8006 | 6655 478 35 | 0.000 % | 41.89/41.92 c | 815 | 657 556 8006 | 7320 815 36 | 0.000 % | 41.89/41.93 c | 1322 | 657 556 8006 | 8052 1322 34 | 0.000 % | 41.89/41.96 c | 2083 | 657 556 8006 | 8857 2083 31 | 0.000 % | 41.99/42.01 c | 3222 | 657 556 8006 | 9743 3222 31 | 0.000 % | 41.99/42.09 c | 4930 | 657 556 8006 | 10717 4930 32 | 0.000 % | 42.18/42.24 c | 7492 | 657 556 8006 | 11789 7492 33 | 0.000 % | 42.49/42.50 c | 11337 | 657 556 8006 | 12968 11337 33 | 0.000 % | 42.90/42.91 c | 17103 | 657 556 8006 | 14265 10576 36 | 0.000 % | 43.48/43.52 c | 25754 | 657 556 8006 | 15692 12040 41 | 0.000 % | 44.49/44.53 c | 38728 | 657 556 8006 | 17261 9233 45 | 0.000 % | 45.99/46.10 c | 58191 | 657 556 8006 | 18987 11327 45 | 0.000 % | 48.59/48.66 c | 87383 | 657 556 8006 | 20886 11886 46 | 0.006 % | 49.58/49.61 c =============================================================================== 49.98/50.07 c core #8 49.98/50.07 c ============================[ Search Statistics ]============================== 49.98/50.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 49.98/50.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 49.98/50.07 c =============================================================================== 49.98/50.07 c | 0 | 718 617 8923 | 5000 0 nan | 0.000 % | 49.98/50.09 c | 101 | 718 617 8923 | 5500 101 41 | 0.000 % | 49.98/50.09 c | 252 | 718 617 8923 | 6050 252 43 | 0.000 % | 50.08/50.10 c | 478 | 718 617 8923 | 6655 478 40 | 0.000 % | 50.08/50.11 c | 816 | 718 617 8923 | 7320 816 35 | 0.000 % | 50.08/50.13 c | 1322 | 718 617 8923 | 8052 1322 33 | 0.000 % | 50.08/50.16 c | 2082 | 718 617 8923 | 8857 2082 31 | 0.000 % | 50.19/50.21 c | 3221 | 718 617 8923 | 9743 3221 31 | 0.000 % | 50.29/50.30 c | 4930 | 718 617 8923 | 10717 4930 31 | 0.000 % | 50.39/50.46 c | 7493 | 718 617 8923 | 11789 7493 34 | 0.000 % | 50.69/50.72 c | 11338 | 718 617 8923 | 12968 11338 34 | 0.000 % | 51.08/51.11 c | 17104 | 718 617 8923 | 14265 10566 36 | 0.000 % | 51.70/51.74 c | 25753 | 718 617 8923 | 15692 12026 40 | 0.000 % | 52.69/52.76 c | 38728 | 718 617 8923 | 17261 9204 40 | 0.000 % | 54.18/54.27 c | 58190 | 718 617 8923 | 18987 11304 44 | 0.000 % | 56.68/56.73 c | 87382 | 718 617 8923 | 20886 11864 43 | 0.000 % | 60.28/60.34 c | 131173 | 679 617 8923 | 22974 15184 48 | 5.437 % | 60.50/60.53 c =============================================================================== 61.09/61.17 c core #9 61.09/61.17 c ============================[ Search Statistics ]============================== 61.09/61.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 61.09/61.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 61.09/61.17 c =============================================================================== 61.09/61.17 c | 0 | 810 678 9902 | 5000 0 nan | 0.000 % | 61.09/61.19 c | 102 | 810 678 9902 | 5500 102 33 | 0.000 % | 61.09/61.19 c | 252 | 810 678 9902 | 6050 252 29 | 0.000 % | 61.18/61.20 c | 478 | 810 678 9902 | 6655 478 30 | 0.000 % | 61.18/61.22 c | 815 | 810 678 9902 | 7320 815 34 | 0.000 % | 61.18/61.24 c | 1321 | 810 678 9902 | 8052 1321 36 | 0.000 % | 61.18/61.26 c | 2080 | 810 678 9902 | 8857 2080 34 | 0.000 % | 61.29/61.31 c | 3222 | 810 678 9902 | 9743 3222 36 | 0.000 % | 61.39/61.40 c | 4930 | 810 678 9902 | 10717 4930 35 | 0.000 % | 61.49/61.55 c | 7492 | 810 678 9902 | 11789 7492 35 | 0.000 % | 61.78/61.83 c | 11336 | 810 678 9902 | 12968 11336 35 | 0.000 % | 62.19/62.24 c | 17103 | 810 678 9902 | 14265 10567 37 | 0.000 % | 62.79/62.85 c | 25755 | 810 678 9902 | 15692 12023 39 | 0.000 % | 63.99/64.05 c | 38731 | 810 678 9902 | 17261 9201 48 | 0.000 % | 65.79/65.80 c | 58192 | 810 678 9902 | 18987 11299 44 | 0.000 % | 68.39/68.41 c | 87384 | 810 678 9902 | 20886 11865 43 | 0.000 % | 72.28/72.36 c | 131173 | 810 678 9902 | 22974 13679 49 | 0.000 % | 73.89/73.96 c =============================================================================== 74.70/74.71 c core #10 74.70/74.71 c ============================[ Search Statistics ]============================== 74.70/74.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 74.70/74.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 74.70/74.71 c =============================================================================== 74.70/74.71 c | 0 | 879 736 10803 | 5000 0 nan | 0.000 % | 74.70/74.73 c | 102 | 879 736 10803 | 5500 102 34 | 0.000 % | 74.70/74.74 c | 252 | 879 736 10803 | 6050 252 34 | 0.000 % | 74.70/74.75 c | 479 | 879 736 10803 | 6655 479 35 | 0.000 % | 74.70/74.77 c | 816 | 879 736 10803 | 7320 816 31 | 0.000 % | 74.70/74.79 c | 1322 | 879 736 10803 | 8052 1322 31 | 0.000 % | 74.80/74.82 c | 2082 | 879 736 10803 | 8857 2082 31 | 0.000 % | 74.80/74.87 c | 3221 | 879 736 10803 | 9743 3221 31 | 0.000 % | 74.89/74.94 c | 4930 | 879 736 10803 | 10717 4930 32 | 0.000 % | 74.98/75.09 c | 7493 | 879 736 10803 | 11789 7493 32 | 0.000 % | 75.29/75.34 c | 11337 | 879 736 10803 | 12968 11337 32 | 0.000 % | 75.69/75.72 c | 17104 | 879 736 10803 | 14265 10574 34 | 0.000 % | 76.38/76.40 c | 25753 | 879 736 10803 | 15692 12040 36 | 0.000 % | 77.29/77.39 c | 38727 | 879 736 10803 | 17261 9214 40 | 0.000 % | 78.89/78.90 c | 58188 | 879 736 10803 | 18987 11315 40 | 0.000 % | 81.29/81.36 c | 87382 | 879 736 10803 | 20886 11865 44 | 0.000 % | 85.09/85.18 c | 131174 | 879 736 10803 | 22974 13672 42 | 0.004 % | 87.89/87.93 c =============================================================================== 88.58/88.68 c core #11 88.58/88.68 c ============================[ Search Statistics ]============================== 88.58/88.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.58/88.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 88.58/88.68 c =============================================================================== 88.58/88.68 c | 0 | 991 794 11790 | 5000 0 nan | 0.000 % | 88.68/88.70 c | 101 | 991 794 11790 | 5500 101 30 | 0.000 % | 88.68/88.71 c | 252 | 991 794 11790 | 6050 252 32 | 0.000 % | 88.68/88.72 c | 477 | 991 794 11790 | 6655 477 32 | 0.000 % | 88.68/88.73 c | 814 | 991 794 11790 | 7320 814 31 | 0.000 % | 88.68/88.75 c | 1325 | 991 794 11790 | 8052 1325 32 | 0.000 % | 88.68/88.78 c | 2084 | 991 794 11790 | 8857 2084 33 | 0.000 % | 88.79/88.82 c | 3223 | 991 794 11790 | 9743 3223 33 | 0.000 % | 88.89/88.90 c | 4933 | 991 794 11790 | 10717 4933 32 | 0.000 % | 88.99/89.05 c | 7496 | 991 794 11790 | 11789 7496 32 | 0.000 % | 89.29/89.33 c | 11341 | 991 794 11790 | 12968 11341 33 | 0.000 % | 89.69/89.74 c | 17109 | 991 794 11790 | 14265 10575 35 | 0.000 % | 90.29/90.37 c | 25760 | 991 794 11790 | 15692 12029 40 | 0.000 % | 91.39/91.40 c | 38740 | 991 794 11790 | 17261 9212 42 | 0.000 % | 93.09/93.11 c | 58202 | 991 794 11790 | 18987 11315 44 | 0.000 % | 95.59/95.63 c | 87395 | 991 794 11790 | 20886 11879 44 | 0.000 % | 99.39/99.49 c | 131184 | 991 794 11790 | 22974 13661 51 | 0.000 % | 105.49/105.53 c =============================================================================== 106.48/106.50 c core #12 106.48/106.50 c ============================[ Search Statistics ]============================== 106.48/106.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 106.48/106.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 106.48/106.50 c =============================================================================== 106.48/106.50 c | 0 | 1087 851 12732 | 5000 0 nan | 0.000 % | 106.48/106.53 c | 101 | 1087 851 12732 | 5500 101 34 | 0.000 % | 106.48/106.53 c | 253 | 1087 851 12732 | 6050 253 29 | 0.000 % | 106.48/106.55 c | 480 | 1087 851 12732 | 6655 480 27 | 0.000 % | 106.48/106.56 c | 818 | 1087 851 12732 | 7320 818 26 | 0.000 % | 106.48/106.58 c | 1324 | 1087 851 12732 | 8052 1324 25 | 0.000 % | 106.60/106.61 c | 2083 | 1087 851 12732 | 8857 2083 28 | 0.000 % | 106.60/106.67 c | 3222 | 1087 851 12732 | 9743 3222 30 | 0.000 % | 106.69/106.76 c | 4934 | 1087 851 12732 | 10717 4934 31 | 0.000 % | 106.88/106.93 c | 7498 | 1087 851 12732 | 11789 7498 31 | 0.000 % | 107.18/107.21 c | 11342 | 1087 851 12732 | 12968 11342 33 | 0.000 % | 107.59/107.62 c | 17109 | 1087 851 12732 | 14265 10578 36 | 0.000 % | 108.28/108.30 c | 25759 | 1087 851 12732 | 15692 12042 39 | 0.000 % | 109.29/109.39 c | 38733 | 1087 851 12732 | 17261 9219 40 | 0.000 % | 111.10/111.10 c | 58195 | 1087 851 12732 | 18987 11299 48 | 0.000 % | 113.69/113.70 c | 87390 | 1087 851 12732 | 20886 11872 43 | 0.000 % | 117.59/117.67 c | 131179 | 1087 851 12732 | 22974 13583 43 | 0.000 % | 123.29/123.31 c =============================================================================== 124.19/124.23 c core #13 124.19/124.23 c ============================[ Search Statistics ]============================== 124.19/124.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 124.19/124.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 124.19/124.23 c =============================================================================== 124.19/124.23 c | 0 | 1202 908 13712 | 5000 0 nan | 0.000 % | 124.19/124.25 c | 100 | 1202 908 13712 | 5500 100 40 | 0.000 % | 124.19/124.26 c | 251 | 1202 908 13712 | 6050 251 40 | 0.000 % | 124.19/124.27 c | 476 | 1202 908 13712 | 6655 476 34 | 0.000 % | 124.19/124.29 c | 814 | 1202 908 13712 | 7320 814 36 | 0.000 % | 124.29/124.31 c | 1321 | 1202 908 13712 | 8052 1321 35 | 0.000 % | 124.29/124.34 c | 2081 | 1202 908 13712 | 8857 2081 33 | 0.000 % | 124.29/124.39 c | 3220 | 1202 908 13712 | 9743 3220 32 | 0.000 % | 124.39/124.49 c | 4929 | 1202 908 13712 | 10717 4929 32 | 0.000 % | 124.58/124.63 c | 7492 | 1202 908 13712 | 11789 7492 33 | 0.000 % | 124.89/124.94 c | 11339 | 1202 908 13712 | 12968 11339 37 | 0.000 % | 125.39/125.40 c | 17105 | 1202 908 13712 | 14265 10571 40 | 0.000 % | 126.09/126.14 c | 25754 | 1202 908 13712 | 15692 12030 42 | 0.000 % | 127.29/127.33 c | 38728 | 1202 908 13712 | 17261 9205 40 | 0.000 % | 128.98/129.01 c | 58191 | 1202 908 13712 | 18987 11304 43 | 0.000 % | 131.59/131.65 c | 87384 | 1202 908 13712 | 20886 11876 45 | 0.000 % | 135.69/135.76 c | 131174 | 1202 908 13712 | 22974 13675 45 | 0.000 % | 142.39/142.40 c | 196859 | 1202 908 13712 | 25272 21680 47 | 0.000 % | 152.69/152.79 c =============================================================================== 154.19/154.22 c core #14 154.19/154.22 c ============================[ Search Statistics ]============================== 154.19/154.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 154.19/154.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 154.19/154.22 c =============================================================================== 154.19/154.22 c | 0 | 1313 965 14684 | 5000 0 nan | 0.000 % | 154.19/154.26 c | 103 | 1313 965 14684 | 5500 103 43 | 0.000 % | 154.19/154.26 c | 254 | 1313 965 14684 | 6050 254 47 | 0.000 % | 154.19/154.27 c | 480 | 1313 965 14684 | 6655 480 39 | 0.000 % | 154.19/154.29 c | 817 | 1313 965 14684 | 7320 817 33 | 0.000 % | 154.29/154.31 c | 1328 | 1313 965 14684 | 8052 1328 33 | 0.000 % | 154.29/154.34 c | 2088 | 1313 965 14684 | 8857 2088 31 | 0.000 % | 154.39/154.40 c | 3227 | 1313 965 14684 | 9743 3227 32 | 0.000 % | 154.39/154.49 c | 4936 | 1313 965 14684 | 10717 4936 31 | 0.000 % | 154.59/154.65 c | 7499 | 1313 965 14684 | 11789 7499 33 | 0.000 % | 154.89/154.95 c | 11347 | 1313 965 14684 | 12968 11347 33 | 0.000 % | 155.29/155.39 c | 17115 | 1313 965 14684 | 14265 10597 35 | 0.000 % | 156.09/156.14 c | 25764 | 1313 965 14684 | 15692 12059 40 | 0.000 % | 157.19/157.28 c | 38740 | 1313 965 14684 | 17261 9236 41 | 0.000 % | 159.09/159.15 c | 58201 | 1313 965 14684 | 18987 11238 40 | 0.000 % | 162.29/162.34 c | 87395 | 1313 965 14684 | 20886 11158 47 | 0.000 % | 169.59/169.68 c | 131184 | 1313 965 14684 | 22974 12765 47 | 0.000 % | 175.79/175.88 c | 196871 | 1313 965 14684 | 25272 19469 47 | 0.000 % | 178.29/178.38 c =============================================================================== 178.29/178.38 c #cores: 14 178.29/178.38 c Final Weight: 14 178.29/178.38 o 14 178.29/178.38 s OPTIMUM FOUND 178.29/178.38 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 178.29/178.38 c Total CPU time: 175.426 s
OK 14
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689869-1277896987/watcher-2689869-1277896987 -o /tmp/evaluation-result-2689869-1277896987/solver-2689869-1277896987 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689869-1277896987.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.01 2.00 2.00 3/196 10914 /proc/meminfo: memFree=31108888/32951124 swapFree=67111528/67111528 [pid=10914] ppid=10912 vsize=2576 CPUtime=0 /proc/10914/stat : 10914 (wbo1.4a) R 10912 10914 10787 0 -1 4202496 289 0 0 0 0 0 0 0 21 0 1 0 130995986 2637824 204 4089446400 134512640 135751879 4294614544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10914/statm: 644 204 143 303 0 339 0 [startup+0.035077 s] /proc/loadavg: 2.01 2.00 2.00 3/196 10914 /proc/meminfo: memFree=31108888/32951124 swapFree=67111528/67111528 [pid=10914] ppid=10912 vsize=2972 CPUtime=0.03 /proc/10914/stat : 10914 (wbo1.4a) R 10912 10914 10787 0 -1 4202496 375 0 0 0 3 0 0 0 21 0 1 0 130995986 3043328 290 4089446400 134512640 135751879 4294614544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10914/statm: 743 290 143 303 0 438 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2972 [startup+0.101064 s] /proc/loadavg: 2.01 2.00 2.00 3/196 10914 /proc/meminfo: memFree=31108888/32951124 swapFree=67111528/67111528 [pid=10914] ppid=10912 vsize=3500 CPUtime=0.09 /proc/10914/stat : 10914 (wbo1.4a) R 10912 10914 10787 0 -1 4202496 525 0 0 0 9 0 0 0 21 0 1 0 130995986 3584000 440 4089446400 134512640 135751879 4294614544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10914/statm: 875 440 143 303 0 570 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3500 [startup+0.301028 s] /proc/loadavg: 2.01 2.00 2.00 3/196 10914 /proc/meminfo: memFree=31108888/32951124 swapFree=67111528/67111528 [pid=10914] ppid=10912 vsize=4952 CPUtime=0.29 /proc/10914/stat : 10914 (wbo1.4a) R 10912 10914 10787 0 -1 4202496 892 0 0 0 27 2 0 0 21 0 1 0 130995986 5070848 807 4089446400 134512640 135751879 4294614544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10914/statm: 1238 807 143 303 0 933 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4952 [startup+0.700969 s] /proc/loadavg: 2.01 2.00 2.00 3/196 10914 /proc/meminfo: memFree=31108888/32951124 swapFree=67111528/67111528 [pid=10914] ppid=10912 vsize=7088 CPUtime=0.69 /proc/10914/stat : 10914 (wbo1.4a) R 10912 10914 10787 0 -1 4202496 1426 0 0 0 66 3 0 0 22 0 1 0 130995986 7258112 1341 4089446400 134512640 135751879 4294614544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10914/statm: 1772 1341 143 303 0 1467 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7088 [startup+1.50082 s] /proc/loadavg: 2.01 2.00 2.00 3/197 10915 /proc/meminfo: memFree=31102556/32951124 swapFree=67111528/67111528 [pid=10914] ppid=10912 vsize=11312 CPUtime=1.49 /proc/10914/stat : 10914 (wbo1.4a) R 10912 10914 10787 0 -1 4202496 2466 0 0 0 142 7 0 0 25 0 1 0 130995986 11583488 2381 4089446400 134512640 135751879 4294614544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10914/statm: 2828 2381 143 303 0 2523 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11312 [startup+3.10053 s] /proc/loadavg: 2.01 2.00 2.00 3/197 10915 /proc/meminfo: memFree=31096480/32951124 swapFree=67111528/67111528 [pid=10914] ppid=10912 vsize=19368 CPUtime=3.09 /proc/10914/stat : 10914 (wbo1.4a) R 10912 10914 10787 0 -1 4202496 4486 0 0 0 298 11 0 0 25 0 1 0 130995986 19832832 4401 4089446400 134512640 135751879 4294614544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10914/statm: 4842 4401 143 303 0 4537 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19368 [startup+6.30098 s] /proc/loadavg: 2.01 2.00 2.00 3/197 10915 /proc/meminfo: memFree=31087848/32951124 swapFree=67111528/67111528 [pid=10914] ppid=10912 vsize=26760 CPUtime=6.29 /proc/10914/stat : 10914 (wbo1.4a) R 10912 10914 10787 0 -1 4202496 6354 0 0 0 610 19 0 0 23 0 1 0 130995986 27402240 6269 4089446400 134512640 135751879 4294614544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10914/statm: 6690 6269 146 303 0 6385 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26760 [startup+12.7008 s] /proc/loadavg: 2.01 2.00 2.00 3/197 10916 /proc/meminfo: memFree=31064468/32951124 swapFree=67111528/67111528 [pid=10914] ppid=10912 vsize=46200 CPUtime=12.69 /proc/10914/stat : 10914 (wbo1.4a) R 10912 10914 10787 0 -1 4202496 11200 0 0 0 1235 34 0 0 25 0 1 0 130995986 47308800 11115 4089446400 134512640 135751879 4294614544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10914/statm: 11550 11115 146 303 0 11245 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 46200 [startup+25.5006 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10916 /proc/meminfo: memFree=31020948/32951124 swapFree=67111528/67111528 [pid=10914] ppid=10912 vsize=82152 CPUtime=25.48 /proc/10914/stat : 10914 (wbo1.4a) R 10912 10914 10787 0 -1 4202496 20171 0 0 0 2489 59 0 0 25 0 1 0 130995986 84123648 20086 4089446400 134512640 135751879 4294614544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10914/statm: 20538 20086 146 303 0 20233 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 82152 [startup+51.101 s] /proc/loadavg: 2.08 2.02 2.00 3/197 10916 /proc/meminfo: memFree=30951044/32951124 swapFree=67111528/67111528 [pid=10914] ppid=10912 vsize=145780 CPUtime=51.08 /proc/10914/stat : 10914 (wbo1.4a) R 10912 10914 10787 0 -1 4202496 36101 0 0 0 5004 104 0 0 18 0 1 0 130995986 149278720 36016 4089446400 134512640 135751879 4294614544 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10914/statm: 36445 36016 146 303 0 36140 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 145780 [startup+102.306 s] /proc/loadavg: 2.03 2.01 2.00 3/197 10918 /proc/meminfo: memFree=30821036/32951124 swapFree=67111528/67111528 [pid=10914] ppid=10912 vsize=267620 CPUtime=102.29 /proc/10914/stat : 10914 (wbo1.4a) R 10912 10914 10787 0 -1 4202496 66548 0 0 0 10042 187 0 0 25 0 1 0 130995986 274042880 66463 4089446400 134512640 135751879 4294614544 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10914/statm: 66905 66463 146 303 0 66600 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 267620 [startup+162.3 s] /proc/loadavg: 2.01 2.01 2.00 3/197 10920 /proc/meminfo: memFree=30683936/32951124 swapFree=67111528/67111528 [pid=10914] ppid=10912 vsize=389976 CPUtime=162.29 /proc/10914/stat : 10914 (wbo1.4a) R 10912 10914 10787 0 -1 4202496 97134 0 0 0 15956 273 0 0 25 0 1 0 130995986 399335424 97049 4089446400 134512640 135751879 4294614544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10914/statm: 97494 97049 146 303 0 97189 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 389976 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 2.01 2.00 2.00 3/197 10920 /proc/meminfo: memFree=30678108/32951124 swapFree=67111528/67111528 [pid=10914] ppid=10912 vsize=396076 CPUtime=166.29 /proc/10914/stat : 10914 (wbo1.4a) R 10912 10914 10787 0 -1 4202496 98665 0 0 0 16353 276 0 0 25 0 1 0 130995986 405581824 98580 4089446400 134512640 135751879 4294614544 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10914/statm: 99019 98580 146 303 0 98714 0 Current children cumulated CPU time (s) 166.29 Current children cumulated vsize (KiB) 396076 [startup+172.707 s] /proc/loadavg: 2.01 2.00 2.00 3/197 10920 /proc/meminfo: memFree=30664588/32951124 swapFree=67111528/67111528 [pid=10914] ppid=10912 vsize=407068 CPUtime=172.7 /proc/10914/stat : 10914 (wbo1.4a) R 10912 10914 10787 0 -1 4202496 101425 0 0 0 16984 286 0 0 25 0 1 0 130995986 416837632 101340 4089446400 134512640 135751879 4294614544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10914/statm: 101767 101340 146 303 0 101462 0 Current children cumulated CPU time (s) 172.7 Current children cumulated vsize (KiB) 407068 [startup+175.901 s] /proc/loadavg: 2.01 2.00 2.00 3/197 10920 /proc/meminfo: memFree=30655404/32951124 swapFree=67111528/67111528 [pid=10914] ppid=10912 vsize=415928 CPUtime=175.89 /proc/10914/stat : 10914 (wbo1.4a) R 10912 10914 10787 0 -1 4202496 103623 0 0 0 17297 292 0 0 25 0 1 0 130995986 425910272 103538 4089446400 134512640 135751879 4294614544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10914/statm: 103982 103538 146 303 0 103677 0 Current children cumulated CPU time (s) 175.89 Current children cumulated vsize (KiB) 415928 [startup+177.501 s] /proc/loadavg: 2.01 2.00 2.00 3/197 10920 /proc/meminfo: memFree=30651436/32951124 swapFree=67111528/67111528 [pid=10914] ppid=10912 vsize=421604 CPUtime=177.49 /proc/10914/stat : 10914 (wbo1.4a) R 10912 10914 10787 0 -1 4202496 105052 0 0 0 17454 295 0 0 25 0 1 0 130995986 431722496 104967 4089446400 134512640 135751879 4294614544 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10914/statm: 105401 104967 146 303 0 105096 0 Current children cumulated CPU time (s) 177.49 Current children cumulated vsize (KiB) 421604 [startup+177.901 s] /proc/loadavg: 2.01 2.00 2.00 3/197 10920 /proc/meminfo: memFree=30651436/32951124 swapFree=67111528/67111528 [pid=10914] ppid=10912 vsize=422528 CPUtime=177.89 /proc/10914/stat : 10914 (wbo1.4a) R 10912 10914 10787 0 -1 4202496 105256 0 0 0 17494 295 0 0 25 0 1 0 130995986 432668672 105171 4089446400 134512640 135751879 4294614544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10914/statm: 105632 105171 146 303 0 105327 0 Current children cumulated CPU time (s) 177.89 Current children cumulated vsize (KiB) 422528 [startup+178.301 s] /proc/loadavg: 2.01 2.00 2.00 3/197 10920 /proc/meminfo: memFree=30648336/32951124 swapFree=67111528/67111528 [pid=10914] ppid=10912 vsize=423848 CPUtime=178.29 /proc/10914/stat : 10914 (wbo1.4a) R 10912 10914 10787 0 -1 4202496 105594 0 0 0 17533 296 0 0 25 0 1 0 130995986 434020352 105509 4089446400 134512640 135751879 4294614544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10914/statm: 105962 105509 146 303 0 105657 0 Current children cumulated CPU time (s) 178.29 Current children cumulated vsize (KiB) 423848 [startup+178.401 s] /proc/loadavg: 2.01 2.00 2.00 3/197 10920 /proc/meminfo: memFree=30648336/32951124 swapFree=67111528/67111528 [pid=10914] ppid=10912 vsize=0 CPUtime=178.39 /proc/10914/stat : 10914 (wbo1.4a) R 10912 10914 10787 0 -1 4202500 105686 0 0 0 17542 297 0 0 25 0 1 0 130995986 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 5 0 0 0 /proc/10914/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 178.39 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 178.404 CPU time (s): 178.402 CPU user time (s): 175.426 CPU system time (s): 2.97555 CPU usage (%): 99.9991 Max. virtual memory (cumulated for all children) (KiB): 423848 getrusage(RUSAGE_CHILDREN,...) data: user time used= 175.426 system time used= 2.97555 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 105686 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= 5389 runsolver used 0.267959 second user time and 0.560914 second system time The end
Begin job on node108 at 2010-06-30 13:23:08 IDJOB=2689869 IDBENCH=78801 IDSOLVER=1200 FILE ID=node108/2689869-1277896987 PBS_JOBID= 11197167 Free space on /tmp= 74212 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110969170--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-2689869-1277896987/watcher-2689869-1277896987 -o /tmp/evaluation-result-2689869-1277896987/solver-2689869-1277896987 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689869-1277896987.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6dd8afea921ee9eef16bd5f535a42450 RANDOM SEED=324097053 node108.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.855 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.71 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.855 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 : 5320.05 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.855 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.855 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.855 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.79 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.855 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.855 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.74 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.855 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31109664 kB Buffers: 181808 kB Cached: 1167508 kB SwapCached: 0 kB Active: 866128 kB Inactive: 833548 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31109664 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2748 kB Writeback: 0 kB AnonPages: 349928 kB Mapped: 20416 kB Slab: 78196 kB PageTables: 5472 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1660988 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= 74208 MiB End job on node108 at 2010-06-30 13:26:06