Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 99.0259 | 99.0233 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110966483--soft-0-100-0.wbo |
MD5SUM | 2001343def6115cfc261dcde547cf23c |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 19 |
Best CPU time to get the best result obtained on this benchmark | 0.139978 |
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 | 101 |
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 | 4944 |
Min constraint cost | 1 |
Max constraint cost | 98 |
Sum of constraints costs | 4943 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1298 |
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-2690112-1277924057.wbo. 0.00/0.00 c Instance file HOME/instance-2690112-1277924057.wbo 0.00/0.00 c File size is 10474 bytes. 0.00/0.00 c Highest Coefficient sum: 1298 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 34 | 0.004 % | 0.00/0.00 c | 250 | 169 101 1205 | 6050 250 28 | 0.004 % | 0.00/0.01 c | 475 | 169 101 1205 | 6655 475 32 | 0.004 % | 0.00/0.02 c | 813 | 169 101 1205 | 7320 813 35 | 0.004 % | 0.00/0.03 c | 1320 | 169 101 1205 | 8052 1320 36 | 0.004 % | 0.00/0.05 c | 2080 | 169 101 1205 | 8857 2080 35 | 0.004 % | 0.00/0.09 c | 3219 | 169 101 1205 | 9743 3219 40 | 0.004 % | 0.09/0.16 c | 4928 | 169 101 1205 | 10717 4928 39 | 0.004 % | 0.19/0.29 c | 7490 | 169 101 1205 | 11789 7490 40 | 0.004 % | 0.49/0.52 c | 11341 | 169 101 1205 | 12968 11341 41 | 0.004 % | 0.89/0.91 c | 17107 | 169 101 1205 | 14265 10576 44 | 0.004 % | 1.49/1.50 c | 25756 | 169 101 1205 | 15692 12051 44 | 0.004 % | 2.39/2.43 c | 38732 | 169 101 1205 | 17261 9222 44 | 0.004 % | 3.29/3.33 c =============================================================================== 3.49/3.55 c core #1 3.49/3.55 c ============================[ Search Statistics ]============================== 3.49/3.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.55 c =============================================================================== 3.49/3.55 c | 0 | 264 200 2566 | 5000 0 nan | 0.000 % | 3.49/3.56 c | 101 | 264 200 2566 | 5500 101 34 | 0.001 % | 3.49/3.56 c | 251 | 264 200 2566 | 6050 251 35 | 0.001 % | 3.49/3.57 c | 479 | 264 200 2566 | 6655 479 32 | 0.001 % | 3.49/3.58 c | 816 | 264 200 2566 | 7320 816 31 | 0.001 % | 3.49/3.59 c | 1322 | 264 200 2566 | 8052 1322 35 | 0.001 % | 3.59/3.62 c | 2082 | 264 200 2566 | 8857 2082 31 | 0.001 % | 3.59/3.66 c | 3221 | 264 200 2566 | 9743 3221 32 | 0.001 % | 3.69/3.73 c | 4932 | 264 200 2566 | 10717 4932 32 | 0.001 % | 3.79/3.85 c | 7494 | 264 200 2566 | 11789 7494 34 | 0.001 % | 4.09/4.11 c | 11340 | 264 200 2566 | 12968 11340 34 | 0.001 % | 4.49/4.50 c | 17107 | 264 200 2566 | 14265 10584 38 | 0.001 % | 4.99/5.09 c | 25758 | 264 200 2566 | 15692 12049 41 | 0.001 % | 5.99/6.02 c | 38732 | 264 200 2566 | 17261 9211 43 | 0.001 % | 7.09/7.16 c =============================================================================== 7.39/7.40 c core #2 7.39/7.40 c ============================[ Search Statistics ]============================== 7.39/7.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.39/7.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.39/7.40 c =============================================================================== 7.39/7.40 c | 0 | 358 298 3915 | 5000 0 nan | 0.000 % | 7.39/7.40 c | 100 | 358 298 3915 | 5500 100 35 | 0.001 % | 7.39/7.41 c | 250 | 358 298 3915 | 6050 250 33 | 0.001 % | 7.39/7.42 c | 475 | 358 298 3915 | 6655 475 30 | 0.001 % | 7.39/7.43 c | 813 | 358 298 3915 | 7320 813 32 | 0.001 % | 7.39/7.44 c | 1321 | 358 298 3915 | 8052 1321 34 | 0.001 % | 7.39/7.47 c | 2083 | 358 298 3915 | 8857 2083 36 | 0.001 % | 7.49/7.52 c | 3222 | 358 298 3915 | 9743 3222 36 | 0.001 % | 7.59/7.60 c | 4933 | 358 298 3915 | 10717 4933 36 | 0.001 % | 7.69/7.73 c | 7498 | 358 298 3915 | 11789 7498 36 | 0.001 % | 7.89/7.96 c | 11342 | 358 298 3915 | 12968 11342 38 | 0.001 % | 8.29/8.35 c | 17108 | 358 298 3915 | 14265 10563 40 | 0.001 % | 8.89/8.99 c | 25757 | 358 298 3915 | 15692 12042 41 | 0.001 % | 9.90/9.96 c | 38731 | 358 298 3915 | 17261 9222 40 | 0.001 % | 10.79/10.85 c =============================================================================== 10.99/11.08 c core #3 10.99/11.08 c ============================[ Search Statistics ]============================== 10.99/11.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.99/11.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.99/11.08 c =============================================================================== 10.99/11.08 c | 0 | 453 395 5254 | 5000 0 nan | 0.000 % | 10.99/11.09 c | 102 | 453 395 5254 | 5500 102 38 | 0.000 % | 11.09/11.10 c | 255 | 453 395 5254 | 6050 255 32 | 0.000 % | 11.09/11.10 c | 480 | 453 395 5254 | 6655 480 32 | 0.000 % | 11.09/11.12 c | 817 | 453 395 5254 | 7320 817 31 | 0.000 % | 11.09/11.13 c | 1323 | 453 395 5254 | 8052 1323 30 | 0.000 % | 11.09/11.16 c | 2083 | 453 395 5254 | 8857 2083 29 | 0.000 % | 11.20/11.21 c | 3222 | 453 395 5254 | 9743 3222 31 | 0.000 % | 11.20/11.29 c | 4931 | 453 395 5254 | 10717 4931 33 | 0.000 % | 11.39/11.43 c | 7493 | 453 395 5254 | 11789 7493 33 | 0.000 % | 11.59/11.66 c | 11337 | 453 395 5254 | 12968 11337 34 | 0.000 % | 12.00/12.06 c | 17103 | 453 395 5254 | 14265 10560 37 | 0.000 % | 12.59/12.67 c | 25753 | 453 395 5254 | 15692 12024 39 | 0.000 % | 13.59/13.63 c | 38727 | 453 395 5254 | 17261 9203 40 | 0.000 % | 14.99/15.05 c | 58190 | 416 395 5254 | 18987 3882 41 | 8.168 % | 15.09/15.10 c =============================================================================== 15.30/15.36 c core #4 15.30/15.36 c ============================[ Search Statistics ]============================== 15.30/15.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.30/15.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.30/15.36 c =============================================================================== 15.30/15.36 c | 0 | 551 489 6569 | 5000 0 nan | 0.000 % | 15.30/15.37 c | 102 | 551 489 6569 | 5500 102 40 | 0.000 % | 15.30/15.37 c | 252 | 551 489 6569 | 6050 252 34 | 0.000 % | 15.30/15.38 c | 477 | 551 489 6569 | 6655 477 32 | 0.000 % | 15.30/15.39 c | 814 | 551 489 6569 | 7320 814 32 | 0.000 % | 15.39/15.41 c | 1320 | 551 489 6569 | 8052 1320 30 | 0.000 % | 15.39/15.44 c | 2079 | 551 489 6569 | 8857 2079 30 | 0.000 % | 15.39/15.49 c | 3220 | 551 489 6569 | 9743 3220 31 | 0.000 % | 15.49/15.57 c | 4929 | 551 489 6569 | 10717 4929 31 | 0.000 % | 15.69/15.73 c | 7492 | 551 489 6569 | 11789 7492 31 | 0.000 % | 15.99/16.01 c | 11336 | 551 489 6569 | 12968 11336 33 | 0.000 % | 16.29/16.39 c | 17103 | 551 489 6569 | 14265 10568 37 | 0.000 % | 16.99/17.01 c | 25754 | 551 489 6569 | 15692 11992 39 | 0.000 % | 17.89/17.98 c | 38728 | 551 489 6569 | 17261 9169 40 | 0.000 % | 19.29/19.39 c | 58190 | 551 489 6569 | 18987 11273 43 | 0.000 % | 20.29/20.33 c =============================================================================== 20.59/20.64 c core #5 20.59/20.64 c ============================[ Search Statistics ]============================== 20.59/20.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.59/20.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.59/20.64 c =============================================================================== 20.59/20.64 c | 0 | 653 582 7890 | 5000 0 nan | 0.000 % | 20.59/20.65 c | 101 | 653 582 7890 | 5500 101 38 | 0.000 % | 20.59/20.66 c | 251 | 653 582 7890 | 6050 251 38 | 0.000 % | 20.59/20.67 c | 478 | 653 582 7890 | 6655 478 40 | 0.000 % | 20.59/20.68 c | 815 | 653 582 7890 | 7320 815 37 | 0.000 % | 20.59/20.69 c | 1323 | 653 582 7890 | 8052 1323 36 | 0.000 % | 20.69/20.72 c | 2082 | 653 582 7890 | 8857 2082 35 | 0.000 % | 20.69/20.78 c | 3221 | 653 582 7890 | 9743 3221 39 | 0.000 % | 20.80/20.86 c | 4930 | 653 582 7890 | 10717 4930 39 | 0.000 % | 20.89/20.99 c | 7493 | 653 582 7890 | 11789 7493 37 | 0.000 % | 21.19/21.23 c | 11337 | 653 582 7890 | 12968 11337 38 | 0.000 % | 21.59/21.61 c | 17109 | 653 582 7890 | 14265 10573 39 | 0.000 % | 22.20/22.21 c | 25759 | 653 582 7890 | 15692 12027 39 | 0.000 % | 23.10/23.15 c | 38734 | 653 582 7890 | 17261 9217 41 | 0.000 % | 24.39/24.47 c | 58195 | 619 582 7890 | 18987 4221 46 | 5.207 % | 25.09/25.12 c =============================================================================== 25.40/25.42 c core #6 25.40/25.42 c ============================[ Search Statistics ]============================== 25.40/25.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.40/25.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.40/25.42 c =============================================================================== 25.40/25.42 c | 0 | 742 673 9158 | 5000 0 nan | 0.000 % | 25.40/25.43 c | 102 | 742 673 9158 | 5500 102 34 | 0.000 % | 25.40/25.44 c | 252 | 742 673 9158 | 6050 252 34 | 0.000 % | 25.40/25.44 c | 477 | 742 673 9158 | 6655 477 31 | 0.000 % | 25.40/25.46 c | 815 | 742 673 9158 | 7320 815 35 | 0.000 % | 25.40/25.48 c | 1323 | 742 673 9158 | 8052 1323 35 | 0.000 % | 25.49/25.51 c | 2082 | 742 673 9158 | 8857 2082 34 | 0.000 % | 25.49/25.57 c | 3222 | 742 673 9158 | 9743 3222 34 | 0.000 % | 25.59/25.65 c | 4932 | 742 673 9158 | 10717 4932 35 | 0.000 % | 25.79/25.80 c | 7495 | 742 673 9158 | 11789 7495 35 | 0.000 % | 25.99/26.05 c | 11342 | 742 673 9158 | 12968 11342 36 | 0.000 % | 26.39/26.47 c | 17109 | 742 673 9158 | 14265 10577 38 | 0.000 % | 27.09/27.13 c | 25764 | 742 673 9158 | 15692 12039 39 | 0.000 % | 28.09/28.11 c | 38738 | 742 673 9158 | 17261 9226 42 | 0.000 % | 29.60/29.64 c | 58204 | 742 673 9158 | 18987 11331 43 | 0.000 % | 31.99/32.06 c | 87396 | 742 673 9158 | 20886 11914 44 | 0.005 % | 32.39/32.49 c =============================================================================== 32.90/32.93 c core #7 32.90/32.93 c ============================[ Search Statistics ]============================== 32.90/32.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.90/32.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.90/32.93 c =============================================================================== 32.90/32.93 c | 0 | 853 763 10468 | 5000 0 nan | 0.000 % | 32.90/32.94 c | 104 | 853 763 10468 | 5500 104 39 | 0.000 % | 32.90/32.95 c | 255 | 853 763 10468 | 6050 255 38 | 0.000 % | 32.90/32.96 c | 480 | 853 763 10468 | 6655 480 36 | 0.000 % | 32.90/32.97 c | 818 | 853 763 10468 | 7320 818 33 | 0.000 % | 32.90/32.99 c | 1326 | 853 763 10468 | 8052 1326 33 | 0.000 % | 33.00/33.02 c | 2086 | 853 763 10468 | 8857 2086 35 | 0.000 % | 33.00/33.07 c | 3227 | 853 763 10468 | 9743 3227 34 | 0.000 % | 33.09/33.16 c | 4935 | 853 763 10468 | 10717 4935 34 | 0.000 % | 33.29/33.32 c | 7500 | 853 763 10468 | 11789 7500 34 | 0.000 % | 33.49/33.60 c | 11344 | 853 763 10468 | 12968 11344 36 | 0.000 % | 34.00/34.09 c | 17110 | 853 763 10468 | 14265 10573 39 | 0.000 % | 34.79/34.84 c | 25760 | 853 763 10468 | 15692 12038 40 | 0.000 % | 35.79/35.89 c | 38736 | 853 763 10468 | 17261 9236 39 | 0.000 % | 37.30/37.39 c | 58198 | 853 763 10468 | 18987 11356 43 | 0.000 % | 38.29/38.35 c =============================================================================== 38.60/38.68 c core #8 38.60/38.68 c ============================[ Search Statistics ]============================== 38.60/38.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.60/38.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.60/38.68 c =============================================================================== 38.60/38.68 c | 0 | 946 852 11731 | 5000 0 nan | 0.000 % | 38.60/38.69 c | 103 | 946 852 11731 | 5500 103 38 | 0.000 % | 38.69/38.70 c | 253 | 946 852 11731 | 6050 253 33 | 0.000 % | 38.69/38.71 c | 478 | 946 852 11731 | 6655 478 34 | 0.000 % | 38.69/38.72 c | 817 | 946 852 11731 | 7320 817 34 | 0.000 % | 38.69/38.74 c | 1323 | 946 852 11731 | 8052 1323 36 | 0.000 % | 38.69/38.78 c | 2083 | 946 852 11731 | 8857 2083 36 | 0.000 % | 38.79/38.84 c | 3224 | 946 852 11731 | 9743 3224 34 | 0.000 % | 38.90/38.94 c | 4933 | 946 852 11731 | 10717 4933 33 | 0.000 % | 39.09/39.10 c | 7497 | 946 852 11731 | 11789 7497 35 | 0.000 % | 39.40/39.42 c | 11342 | 946 852 11731 | 12968 11342 36 | 0.000 % | 39.80/39.86 c | 17108 | 946 852 11731 | 14265 10584 38 | 0.000 % | 40.49/40.53 c | 25758 | 946 852 11731 | 15692 12058 40 | 0.000 % | 41.49/41.55 c | 38734 | 946 852 11731 | 17261 9237 40 | 0.000 % | 42.99/43.08 c | 58196 | 946 852 11731 | 18987 11356 42 | 0.000 % | 44.89/44.93 c =============================================================================== 45.30/45.31 c core #9 45.30/45.31 c ============================[ Search Statistics ]============================== 45.30/45.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 45.30/45.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 45.30/45.31 c =============================================================================== 45.30/45.31 c | 0 | 1035 941 12983 | 5000 0 nan | 0.000 % | 45.30/45.32 c | 101 | 1035 941 12983 | 5500 101 39 | 0.000 % | 45.30/45.33 c | 254 | 1035 941 12983 | 6050 254 35 | 0.000 % | 45.30/45.34 c | 479 | 1035 941 12983 | 6655 479 32 | 0.000 % | 45.30/45.35 c | 816 | 1035 941 12983 | 7320 816 32 | 0.000 % | 45.30/45.37 c | 1323 | 1035 941 12983 | 8052 1323 32 | 0.000 % | 45.39/45.40 c | 2082 | 1035 941 12983 | 8857 2082 34 | 0.000 % | 45.39/45.47 c | 3224 | 1035 941 12983 | 9743 3224 35 | 0.000 % | 45.49/45.56 c | 4932 | 1035 941 12983 | 10717 4932 35 | 0.000 % | 45.69/45.73 c | 7494 | 1035 941 12983 | 11789 7494 36 | 0.000 % | 45.99/46.01 c | 11342 | 1035 941 12983 | 12968 11342 38 | 0.000 % | 46.39/46.47 c | 17109 | 1035 941 12983 | 14265 10568 41 | 0.000 % | 47.30/47.30 c | 25761 | 1035 941 12983 | 15692 12029 42 | 0.000 % | 48.59/48.60 c | 38735 | 1035 941 12983 | 17261 9226 41 | 0.000 % | 50.29/50.33 c | 58197 | 1035 941 12983 | 18987 11324 41 | 0.000 % | 51.79/51.89 c =============================================================================== 52.19/52.27 c core #10 52.19/52.27 c ============================[ Search Statistics ]============================== 52.19/52.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 52.19/52.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 52.19/52.27 c =============================================================================== 52.19/52.27 c | 0 | 1129 1029 14232 | 5000 0 nan | 0.000 % | 52.19/52.28 c | 105 | 1129 1029 14232 | 5500 105 35 | 0.000 % | 52.19/52.29 c | 258 | 1129 1029 14232 | 6050 258 31 | 0.000 % | 52.29/52.30 c | 484 | 1129 1029 14232 | 6655 484 31 | 0.000 % | 52.29/52.31 c | 821 | 1129 1029 14232 | 7320 821 30 | 0.000 % | 52.29/52.34 c | 1329 | 1129 1029 14232 | 8052 1329 31 | 0.000 % | 52.29/52.38 c | 2089 | 1129 1029 14232 | 8857 2089 33 | 0.000 % | 52.40/52.44 c | 3229 | 1129 1029 14232 | 9743 3229 33 | 0.000 % | 52.50/52.54 c | 4941 | 1129 1029 14232 | 10717 4941 33 | 0.000 % | 52.70/52.72 c | 7503 | 1129 1029 14232 | 11789 7503 37 | 0.000 % | 52.99/53.02 c | 11348 | 1129 1029 14232 | 12968 11348 39 | 0.000 % | 53.50/53.51 c | 17114 | 1129 1029 14232 | 14265 10582 39 | 0.000 % | 54.09/54.19 c | 25763 | 1129 1029 14232 | 15692 12052 40 | 0.000 % | 55.19/55.24 c | 38737 | 1129 1029 14232 | 17261 9226 43 | 0.000 % | 56.89/56.98 c | 58198 | 1129 1029 14232 | 18987 11328 42 | 0.000 % | 58.79/58.84 c =============================================================================== 59.19/59.22 c core #11 59.19/59.22 c ============================[ Search Statistics ]============================== 59.19/59.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 59.19/59.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 59.19/59.22 c =============================================================================== 59.19/59.22 c | 0 | 1244 1117 15527 | 5000 0 nan | 0.000 % | 59.19/59.23 c | 102 | 1244 1117 15527 | 5500 102 44 | 0.000 % | 59.19/59.24 c | 252 | 1244 1117 15527 | 6050 252 42 | 0.000 % | 59.19/59.25 c | 479 | 1244 1117 15527 | 6655 479 37 | 0.000 % | 59.19/59.26 c | 817 | 1244 1117 15527 | 7320 817 34 | 0.000 % | 59.19/59.29 c | 1324 | 1244 1117 15527 | 8052 1324 35 | 0.000 % | 59.30/59.32 c | 2084 | 1244 1117 15527 | 8857 2084 36 | 0.000 % | 59.30/59.38 c | 3223 | 1244 1117 15527 | 9743 3223 35 | 0.000 % | 59.40/59.49 c | 4931 | 1244 1117 15527 | 10717 4931 37 | 0.000 % | 59.59/59.65 c | 7495 | 1244 1117 15527 | 11789 7495 37 | 0.000 % | 59.89/59.95 c | 11339 | 1244 1117 15527 | 12968 11339 36 | 0.000 % | 60.40/60.42 c | 17106 | 1244 1117 15527 | 14265 10581 37 | 0.000 % | 61.10/61.12 c | 25755 | 1244 1117 15527 | 15692 12043 40 | 0.000 % | 62.19/62.21 c | 38729 | 1244 1117 15527 | 17261 9207 43 | 0.000 % | 63.89/63.94 c | 58195 | 1244 1117 15527 | 18987 11307 40 | 0.000 % | 66.29/66.34 c | 87387 | 1219 1117 15527 | 20886 8167 39 | 2.010 % | 66.69/66.78 c =============================================================================== 67.19/67.22 c core #12 67.19/67.22 c ============================[ Search Statistics ]============================== 67.19/67.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 67.19/67.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 67.19/67.22 c =============================================================================== 67.19/67.22 c | 0 | 1329 1202 16726 | 5000 0 nan | 0.000 % | 67.19/67.24 c | 101 | 1329 1202 16726 | 5500 101 43 | 0.000 % | 67.19/67.25 c | 252 | 1329 1202 16726 | 6050 252 39 | 0.000 % | 67.19/67.26 c | 480 | 1329 1202 16726 | 6655 480 37 | 0.000 % | 67.19/67.27 c | 818 | 1329 1202 16726 | 7320 818 38 | 0.000 % | 67.19/67.29 c | 1325 | 1329 1202 16726 | 8052 1325 34 | 0.000 % | 67.29/67.33 c | 2084 | 1329 1202 16726 | 8857 2084 33 | 0.000 % | 67.29/67.39 c | 3227 | 1329 1202 16726 | 9743 3227 32 | 0.000 % | 67.39/67.49 c | 4935 | 1329 1202 16726 | 10717 4935 32 | 0.000 % | 67.60/67.66 c | 7497 | 1329 1202 16726 | 11789 7497 34 | 0.000 % | 67.89/67.95 c | 11341 | 1329 1202 16726 | 12968 11341 35 | 0.000 % | 68.39/68.43 c | 17108 | 1329 1202 16726 | 14265 10576 36 | 0.000 % | 69.09/69.18 c | 25759 | 1329 1202 16726 | 15692 12056 37 | 0.000 % | 70.29/70.38 c | 38733 | 1329 1202 16726 | 17261 9229 40 | 0.000 % | 72.00/72.08 c | 58194 | 1329 1202 16726 | 18987 11334 41 | 0.000 % | 74.60/74.66 c | 87387 | 1316 1202 16726 | 20886 9588 40 | 0.978 % | 75.59/75.63 c =============================================================================== 76.00/76.08 c core #13 76.00/76.08 c ============================[ Search Statistics ]============================== 76.00/76.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 76.00/76.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 76.00/76.08 c =============================================================================== 76.00/76.08 c | 0 | 1482 1287 18071 | 5000 0 nan | 0.000 % | 76.09/76.10 c | 104 | 1482 1287 18071 | 5500 104 42 | 0.000 % | 76.09/76.11 c | 256 | 1482 1287 18071 | 6050 256 37 | 0.000 % | 76.09/76.12 c | 483 | 1482 1287 18071 | 6655 483 33 | 0.000 % | 76.09/76.13 c | 821 | 1482 1287 18071 | 7320 821 32 | 0.000 % | 76.09/76.16 c | 1328 | 1482 1287 18071 | 8052 1328 30 | 0.000 % | 76.09/76.19 c | 2089 | 1482 1287 18071 | 8857 2089 29 | 0.000 % | 76.19/76.27 c | 3230 | 1482 1287 18071 | 9743 3230 29 | 0.000 % | 76.29/76.38 c | 4938 | 1482 1287 18071 | 10717 4938 32 | 0.000 % | 76.49/76.55 c | 7500 | 1482 1287 18071 | 11789 7500 34 | 0.000 % | 76.79/76.85 c | 11344 | 1482 1287 18071 | 12968 11344 35 | 0.000 % | 77.29/77.34 c | 17112 | 1482 1287 18071 | 14265 10595 38 | 0.000 % | 78.00/78.06 c | 25761 | 1482 1287 18071 | 15692 12064 40 | 0.000 % | 79.20/79.21 c | 38738 | 1482 1287 18071 | 17261 9249 38 | 0.000 % | 80.79/80.89 c | 58200 | 1482 1287 18071 | 18987 11361 39 | 0.000 % | 83.30/83.32 c | 87392 | 1457 1287 18071 | 20886 8234 40 | 1.687 % | 83.69/83.74 c =============================================================================== 84.10/84.17 c core #14 84.10/84.17 c ============================[ Search Statistics ]============================== 84.10/84.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.10/84.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.10/84.17 c =============================================================================== 84.10/84.17 c | 0 | 1651 1375 19476 | 5000 0 nan | 0.000 % | 84.10/84.19 c | 100 | 1651 1375 19476 | 5500 100 47 | 0.000 % | 84.20/84.20 c | 250 | 1651 1375 19476 | 6050 250 38 | 0.000 % | 84.20/84.21 c | 475 | 1651 1375 19476 | 6655 475 32 | 0.000 % | 84.20/84.22 c | 813 | 1651 1375 19476 | 7320 813 32 | 0.000 % | 84.20/84.25 c | 1320 | 1651 1375 19476 | 8052 1320 31 | 0.000 % | 84.20/84.28 c | 2080 | 1651 1375 19476 | 8857 2080 29 | 0.000 % | 84.29/84.35 c | 3220 | 1651 1375 19476 | 9743 3220 29 | 0.000 % | 84.39/84.45 c | 4928 | 1651 1375 19476 | 10717 4928 31 | 0.000 % | 84.60/84.64 c | 7490 | 1651 1375 19476 | 11789 7490 34 | 0.000 % | 84.89/84.97 c | 11335 | 1651 1375 19476 | 12968 11335 34 | 0.000 % | 85.39/85.44 c | 17102 | 1651 1375 19476 | 14265 10566 34 | 0.000 % | 86.20/86.20 c | 25751 | 1651 1375 19476 | 15692 12044 35 | 0.000 % | 87.20/87.28 c | 38726 | 1651 1375 19476 | 17261 9249 35 | 0.000 % | 88.79/88.85 c | 58188 | 1612 1375 19476 | 18987 1325 34 | 2.362 % | 90.39/90.49 c =============================================================================== 90.79/90.85 c core #15 90.79/90.85 c ============================[ Search Statistics ]============================== 90.79/90.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 90.79/90.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 90.79/90.85 c =============================================================================== 90.79/90.85 c | 0 | 1756 1461 20727 | 5000 0 nan | 0.000 % | 90.79/90.87 c | 102 | 1756 1461 20727 | 5500 102 47 | 0.000 % | 90.79/90.87 c | 255 | 1756 1461 20727 | 6050 255 38 | 0.000 % | 90.79/90.89 c | 480 | 1756 1461 20727 | 6655 480 35 | 0.000 % | 90.89/90.91 c | 817 | 1756 1461 20727 | 7320 817 32 | 0.000 % | 90.89/90.93 c | 1325 | 1756 1461 20727 | 8052 1325 32 | 0.000 % | 90.89/90.98 c | 2084 | 1756 1461 20727 | 8857 2084 32 | 0.000 % | 91.00/91.05 c | 3223 | 1756 1461 20727 | 9743 3223 31 | 0.000 % | 91.09/91.14 c | 4932 | 1756 1461 20727 | 10717 4932 32 | 0.000 % | 91.30/91.32 c | 7496 | 1756 1461 20727 | 11789 7496 32 | 0.000 % | 91.60/91.61 c | 11340 | 1756 1461 20727 | 12968 11340 33 | 0.000 % | 92.09/92.13 c | 17106 | 1756 1461 20727 | 14265 10567 33 | 0.000 % | 92.79/92.81 c | 25758 | 1756 1461 20727 | 15692 12035 33 | 0.000 % | 93.89/93.96 c | 38732 | 1756 1461 20727 | 17261 9220 37 | 0.000 % | 95.39/95.49 c | 58196 | 1756 1461 20727 | 18987 11329 39 | 0.000 % | 98.10/98.15 c | 87390 | 1756 1461 20727 | 20886 11914 42 | 0.001 % | 99.00/99.01 c =============================================================================== 99.00/99.01 c #cores: 15 99.00/99.01 c Final Weight: 19 99.00/99.01 o 19 99.00/99.01 s OPTIMUM FOUND 99.00/99.01 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 99.00/99.01 c Total CPU time: 97.2182 s
OK 19
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690112-1277924057/watcher-2690112-1277924057 -o /tmp/evaluation-result-2690112-1277924057/solver-2690112-1277924057 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690112-1277924057.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.04 2.00 2.00 3/196 16046 /proc/meminfo: memFree=31021208/32950928 swapFree=67111528/67111528 [pid=16046] ppid=16044 vsize=2576 CPUtime=0 /proc/16046/stat : 16046 (wbo1.4a) R 16044 16046 13992 0 -1 4202496 290 0 0 0 0 0 0 0 25 0 1 0 133702513 2637824 205 4089446400 134512640 135751879 4287650192 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16046/statm: 644 205 143 303 0 339 0 [startup+0.007777 s] /proc/loadavg: 2.04 2.00 2.00 3/196 16046 /proc/meminfo: memFree=31021208/32950928 swapFree=67111528/67111528 [pid=16046] ppid=16044 vsize=2576 CPUtime=0 /proc/16046/stat : 16046 (wbo1.4a) R 16044 16046 13992 0 -1 4202496 296 0 0 0 0 0 0 0 25 0 1 0 133702513 2637824 211 4089446400 134512640 135751879 4287650192 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16046/statm: 644 211 143 303 0 339 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2576 [startup+0.10076 s] /proc/loadavg: 2.04 2.00 2.00 3/196 16046 /proc/meminfo: memFree=31021208/32950928 swapFree=67111528/67111528 [pid=16046] ppid=16044 vsize=3632 CPUtime=0.09 /proc/16046/stat : 16046 (wbo1.4a) R 16044 16046 13992 0 -1 4202496 552 0 0 0 9 0 0 0 25 0 1 0 133702513 3719168 467 4089446400 134512640 135751879 4287650192 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16046/statm: 908 467 143 303 0 603 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3632 [startup+0.300724 s] /proc/loadavg: 2.04 2.00 2.00 3/196 16046 /proc/meminfo: memFree=31021208/32950928 swapFree=67111528/67111528 [pid=16046] ppid=16044 vsize=5100 CPUtime=0.29 /proc/16046/stat : 16046 (wbo1.4a) R 16044 16046 13992 0 -1 4202496 919 0 0 0 28 1 0 0 25 0 1 0 133702513 5222400 834 4089446400 134512640 135751879 4287650192 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16046/statm: 1275 834 143 303 0 970 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5100 [startup+0.700653 s] /proc/loadavg: 2.04 2.00 2.00 3/196 16046 /proc/meminfo: memFree=31021208/32950928 swapFree=67111528/67111528 [pid=16046] ppid=16044 vsize=7272 CPUtime=0.69 /proc/16046/stat : 16046 (wbo1.4a) R 16044 16046 13992 0 -1 4202496 1475 0 0 0 67 2 0 0 25 0 1 0 133702513 7446528 1390 4089446400 134512640 135751879 4287650192 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16046/statm: 1818 1390 143 303 0 1513 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7272 [startup+1.50051 s] /proc/loadavg: 2.04 2.00 2.00 3/197 16047 /proc/meminfo: memFree=31014380/32950928 swapFree=67111528/67111528 [pid=16046] ppid=16044 vsize=11496 CPUtime=1.49 /proc/16046/stat : 16046 (wbo1.4a) R 16044 16046 13992 0 -1 4202496 2523 0 0 0 145 4 0 0 25 0 1 0 133702513 11771904 2438 4089446400 134512640 135751879 4287650192 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16046/statm: 2874 2438 143 303 0 2569 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11496 [startup+3.10023 s] /proc/loadavg: 2.04 2.00 2.00 3/197 16047 /proc/meminfo: memFree=31008428/32950928 swapFree=67111528/67111528 [pid=16046] ppid=16044 vsize=19424 CPUtime=3.09 /proc/16046/stat : 16046 (wbo1.4a) R 16044 16046 13992 0 -1 4202496 4491 0 0 0 303 6 0 0 25 0 1 0 133702513 19890176 4406 4089446400 134512640 135751879 4287650192 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16046/statm: 4856 4406 143 303 0 4551 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19424 [startup+6.30066 s] /proc/loadavg: 2.03 2.00 2.00 3/197 16047 /proc/meminfo: memFree=31000148/32950928 swapFree=67111528/67111528 [pid=16046] ppid=16044 vsize=27616 CPUtime=6.29 /proc/16046/stat : 16046 (wbo1.4a) R 16044 16046 13992 0 -1 4202496 6553 0 0 0 616 13 0 0 25 0 1 0 133702513 28278784 6468 4089446400 134512640 135751879 4287650192 18446744073709551615 135203981 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16046/statm: 6904 6468 146 303 0 6599 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27616 [startup+12.7005 s] /proc/loadavg: 2.03 2.00 2.00 3/197 16047 /proc/meminfo: memFree=30976200/32950928 swapFree=67111528/67111528 [pid=16046] ppid=16044 vsize=42936 CPUtime=12.69 /proc/16046/stat : 16046 (wbo1.4a) R 16044 16046 13992 0 -1 4202496 10397 0 0 0 1241 28 0 0 25 0 1 0 133702513 43966464 10312 4089446400 134512640 135751879 4287650192 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16046/statm: 10734 10312 146 303 0 10429 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 42936 [startup+25.5003 s] /proc/loadavg: 2.02 2.00 2.00 3/197 16047 /proc/meminfo: memFree=30933140/32950928 swapFree=67111528/67111528 [pid=16046] ppid=16044 vsize=81784 CPUtime=25.49 /proc/16046/stat : 16046 (wbo1.4a) R 16044 16046 13992 0 -1 4202496 20083 0 0 0 2494 55 0 0 25 0 1 0 133702513 83746816 19998 4089446400 134512640 135751879 4287650192 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16046/statm: 20446 19998 146 303 0 20141 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 81784 [startup+51.1007 s] /proc/loadavg: 2.01 2.00 2.00 3/197 16047 /proc/meminfo: memFree=30878672/32950928 swapFree=67111528/67111528 [pid=16046] ppid=16044 vsize=135316 CPUtime=51.09 /proc/16046/stat : 16046 (wbo1.4a) R 16044 16046 13992 0 -1 4202496 33483 0 0 0 5011 98 0 0 25 0 1 0 133702513 138563584 33398 4089446400 134512640 135751879 4287650192 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16046/statm: 33829 33398 146 303 0 33524 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 135316 Solver just ended. Dumping a history of the last processes samples [startup+76.7002 s] /proc/loadavg: 2.01 2.00 2.00 3/197 16049 /proc/meminfo: memFree=30818008/32950928 swapFree=67111528/67111528 [pid=16046] ppid=16044 vsize=194120 CPUtime=76.69 /proc/16046/stat : 16046 (wbo1.4a) R 16044 16046 13992 0 -1 4202496 48172 0 0 0 7528 141 0 0 25 0 1 0 133702513 198778880 48087 4089446400 134512640 135751879 4287650192 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16046/statm: 48530 48087 146 303 0 48225 0 Current children cumulated CPU time (s) 76.69 Current children cumulated vsize (KiB) 194120 [startup+89.5009 s] /proc/loadavg: 2.01 2.00 2.00 3/197 16049 /proc/meminfo: memFree=30799152/32950928 swapFree=67111528/67111528 [pid=16046] ppid=16044 vsize=213952 CPUtime=89.49 /proc/16046/stat : 16046 (wbo1.4a) R 16044 16046 13992 0 -1 4202496 53140 0 0 0 8787 162 0 0 25 0 1 0 133702513 219086848 53055 4089446400 134512640 135751879 4287650192 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16046/statm: 53488 53057 146 303 0 53183 0 Current children cumulated CPU time (s) 89.49 Current children cumulated vsize (KiB) 213952 [startup+95.9008 s] /proc/loadavg: 2.00 2.00 2.00 3/197 16049 /proc/meminfo: memFree=30785756/32950928 swapFree=67111528/67111528 [pid=16046] ppid=16044 vsize=226248 CPUtime=95.89 /proc/16046/stat : 16046 (wbo1.4a) R 16044 16046 13992 0 -1 4202496 56225 0 0 0 9415 174 0 0 25 0 1 0 133702513 231677952 56140 4089446400 134512640 135751879 4287650192 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16046/statm: 56562 56140 146 303 0 56257 0 Current children cumulated CPU time (s) 95.89 Current children cumulated vsize (KiB) 226248 [startup+97.5005 s] /proc/loadavg: 2.00 2.00 2.00 3/197 16049 /proc/meminfo: memFree=30780916/32950928 swapFree=67111528/67111528 [pid=16046] ppid=16044 vsize=231952 CPUtime=97.49 /proc/16046/stat : 16046 (wbo1.4a) R 16044 16046 13992 0 -1 4202496 57620 0 0 0 9572 177 0 0 25 0 1 0 133702513 237518848 57535 4089446400 134512640 135751879 4287650192 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16046/statm: 57988 57535 146 303 0 57683 0 Current children cumulated CPU time (s) 97.49 Current children cumulated vsize (KiB) 231952 [startup+98.3003 s] /proc/loadavg: 2.00 2.00 2.00 3/197 16049 /proc/meminfo: memFree=30777072/32950928 swapFree=67111528/67111528 [pid=16046] ppid=16044 vsize=234856 CPUtime=98.3 /proc/16046/stat : 16046 (wbo1.4a) R 16044 16046 13992 0 -1 4202496 58369 0 0 0 9652 178 0 0 25 0 1 0 133702513 240492544 58284 4089446400 134512640 135751879 4287650192 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16046/statm: 58714 58284 146 303 0 58409 0 Current children cumulated CPU time (s) 98.3 Current children cumulated vsize (KiB) 234856 [startup+98.7003 s] /proc/loadavg: 2.00 2.00 2.00 3/197 16049 /proc/meminfo: memFree=30777072/32950928 swapFree=67111528/67111528 [pid=16046] ppid=16044 vsize=236440 CPUtime=98.7 /proc/16046/stat : 16046 (wbo1.4a) R 16044 16046 13992 0 -1 4202496 58750 0 0 0 9691 179 0 0 25 0 1 0 133702513 242114560 58665 4089446400 134512640 135751879 4287650192 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16046/statm: 59110 58665 146 303 0 58805 0 Current children cumulated CPU time (s) 98.7 Current children cumulated vsize (KiB) 236440 [startup+98.9003 s] /proc/loadavg: 2.00 2.00 2.00 3/197 16049 /proc/meminfo: memFree=30772732/32950928 swapFree=67111528/67111528 [pid=16046] ppid=16044 vsize=237232 CPUtime=98.9 /proc/16046/stat : 16046 (wbo1.4a) R 16044 16046 13992 0 -1 4202496 58965 0 0 0 9711 179 0 0 25 0 1 0 133702513 242925568 58880 4089446400 134512640 135751879 4287650192 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16046/statm: 59308 58880 146 303 0 59003 0 Current children cumulated CPU time (s) 98.9 Current children cumulated vsize (KiB) 237232 [startup+99.0062 s] /proc/loadavg: 2.00 2.00 2.00 3/197 16049 /proc/meminfo: memFree=30772732/32950928 swapFree=67111528/67111528 [pid=16046] ppid=16044 vsize=237760 CPUtime=99 /proc/16046/stat : 16046 (wbo1.4a) R 16044 16046 13992 0 -1 4202496 59075 0 0 0 9721 179 0 0 25 0 1 0 133702513 243466240 58990 4089446400 134512640 135751879 4287650192 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16046/statm: 59440 58990 146 303 0 59135 0 Current children cumulated CPU time (s) 99 Current children cumulated vsize (KiB) 237760 Child status: 0 Real time (s): 99.0233 CPU time (s): 99.0259 CPU user time (s): 97.2182 CPU system time (s): 1.80772 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 237760 getrusage(RUSAGE_CHILDREN,...) data: user time used= 97.2182 system time used= 1.80773 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 59079 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= 96 runsolver used 0.151976 second user time and 0.328949 second system time The end
Begin job on node123 at 2010-06-30 20:54:17 IDJOB=2690112 IDBENCH=79225 IDSOLVER=1200 FILE ID=node123/2690112-1277924057 PBS_JOBID= 11197277 Free space on /tmp= 74212 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110966483--soft-0-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690112-1277924057/watcher-2690112-1277924057 -o /tmp/evaluation-result-2690112-1277924057/solver-2690112-1277924057 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690112-1277924057.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2001343def6115cfc261dcde547cf23c RANDOM SEED=1032129378 node123.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.804 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.60 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.804 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 : 5294.59 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.804 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.804 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.75 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.804 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.804 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.71 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.804 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.804 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: 32950928 kB MemFree: 31021852 kB Buffers: 209368 kB Cached: 1108872 kB SwapCached: 0 kB Active: 979564 kB Inactive: 805188 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31021852 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2756 kB Writeback: 0 kB AnonPages: 466924 kB Mapped: 20252 kB Slab: 80276 kB PageTables: 5152 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1649628 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 node123 at 2010-06-30 20:55:56