Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 883.978 | 883.952 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900551347--soft-66-100-0.wbo |
MD5SUM | ccbb2f2628d7a379eab2ad56e88b2a24 |
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 | 11 |
Best CPU time to get the best result obtained on this benchmark | 268.492 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of soft constraints | 927 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Top cost | 45360 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 45359 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 745 |
Number of bits of the biggest sum of numbers | 10 |
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-2690155-1277910391.wbo. 0.00/0.00 c Instance file HOME/instance-2690155-1277910391.wbo 0.00/0.00 c File size is 87997 bytes. 0.00/0.00 c Highest Coefficient sum: 745 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 231 | 0.00/0.00 c | Number Clauses: 2684 | 0.00/0.00 c | Number Cardinality: 22 | 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 | 231 2707 8338 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 100 | 231 2707 8338 | 5500 100 27 | 0.002 % | 0.00/0.01 c | 250 | 231 2707 8338 | 6050 250 23 | 0.002 % | 0.00/0.01 c | 476 | 231 2707 8338 | 6655 476 25 | 0.002 % | 0.00/0.02 c | 813 | 231 2707 8338 | 7320 813 25 | 0.002 % | 0.00/0.03 c | 1326 | 231 2707 8338 | 8052 1326 26 | 0.002 % | 0.03/0.06 c | 2087 | 231 2707 8338 | 8857 2087 28 | 0.002 % | 0.03/0.09 c | 3227 | 231 2707 8338 | 9743 3227 28 | 0.002 % | 0.09/0.15 c | 4935 | 231 2707 8338 | 10717 4935 29 | 0.002 % | 0.19/0.26 c | 7497 | 231 2707 8338 | 11789 7497 30 | 0.002 % | 0.39/0.44 c | 11341 | 231 2707 8338 | 12968 11341 30 | 0.002 % | 0.69/0.75 c | 17107 | 231 2707 8338 | 14265 10557 31 | 0.002 % | 1.19/1.24 c | 25761 | 231 2707 8338 | 15692 12018 35 | 0.002 % | 2.09/2.18 c | 38738 | 231 2707 8338 | 17261 9190 39 | 0.002 % | 3.79/3.85 c | 58199 | 231 2707 8338 | 18987 11269 37 | 0.002 % | 6.19/6.29 c | 87391 | 231 2707 8338 | 20886 11807 37 | 0.002 % | 10.09/10.16 c | 131180 | 231 2707 8338 | 22974 13632 37 | 0.002 % | 16.09/16.14 c | 196864 | 230 2707 8338 | 25272 21622 38 | 0.435 % | 26.90/26.92 c | 295391 | 230 2707 8338 | 27799 14731 37 | 0.435 % | 41.99/42.03 c | 443183 | 230 2707 8338 | 30579 22586 40 | 0.435 % | 66.79/66.83 c | 664872 | 230 2707 8338 | 33637 26247 40 | 0.472 % | 77.29/77.38 c =============================================================================== 81.19/81.23 c core #1 81.19/81.23 c ============================[ Search Statistics ]============================== 81.19/81.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 81.19/81.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 81.19/81.23 c =============================================================================== 81.19/81.23 c | 0 | 710 3582 12397 | 5000 0 nan | 0.000 % | 81.40/81.41 c | 100 | 710 3582 12397 | 5500 100 15 | 0.000 % | 81.40/81.42 c | 250 | 710 3582 12397 | 6050 250 23 | 0.000 % | 81.40/81.43 c | 475 | 710 3582 12397 | 6655 475 26 | 0.000 % | 81.40/81.44 c | 813 | 710 3582 12397 | 7320 813 24 | 0.000 % | 81.40/81.47 c | 1320 | 710 3582 12397 | 8052 1320 27 | 0.000 % | 81.49/81.50 c | 2079 | 710 3582 12397 | 8857 2079 25 | 0.000 % | 81.49/81.54 c | 3218 | 710 3582 12397 | 9743 3218 26 | 0.000 % | 81.59/81.61 c | 4926 | 710 3582 12397 | 10717 4926 26 | 0.000 % | 81.70/81.73 c | 7488 | 710 3582 12397 | 11789 7488 28 | 0.000 % | 81.89/81.95 c | 11332 | 710 3582 12397 | 12968 11332 27 | 0.000 % | 82.29/82.32 c | 17099 | 710 3582 12397 | 14265 10564 30 | 0.000 % | 82.89/82.91 c | 25748 | 710 3582 12397 | 15692 12032 32 | 0.000 % | 83.90/83.98 c | 38722 | 710 3582 12397 | 17261 9225 34 | 0.000 % | 85.30/85.39 c | 58184 | 710 3582 12397 | 18987 11312 31 | 0.000 % | 87.59/87.64 c | 87377 | 710 3582 12397 | 20886 11874 31 | 0.000 % | 91.50/91.56 c | 131166 | 710 3582 12397 | 22974 13685 35 | 0.000 % | 97.49/97.52 c | 196850 | 710 3582 12397 | 25272 21674 37 | 0.000 % | 106.29/106.35 c | 295377 | 710 3582 12397 | 27799 13527 33 | 0.000 % | 120.60/120.69 c | 443169 | 710 3582 12397 | 30579 22116 37 | 0.004 % | 123.60/123.63 c =============================================================================== 125.89/125.94 c core #2 125.89/125.94 c ============================[ Search Statistics ]============================== 125.89/125.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 125.89/125.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 125.89/125.94 c =============================================================================== 125.89/125.94 c | 0 | 1186 4435 16373 | 5000 0 nan | 0.000 % | 125.89/125.95 c | 100 | 1186 4435 16373 | 5500 100 20 | 0.000 % | 125.89/125.96 c | 252 | 1186 4435 16373 | 6050 252 20 | 0.000 % | 125.89/125.98 c | 478 | 1186 4435 16373 | 6655 478 24 | 0.000 % | 125.89/125.99 c | 816 | 1186 4435 16373 | 7320 816 27 | 0.000 % | 126.00/126.01 c | 1322 | 1186 4435 16373 | 8052 1322 26 | 0.000 % | 126.00/126.05 c | 2084 | 1186 4435 16373 | 8857 2084 24 | 0.000 % | 126.09/126.10 c | 3223 | 1186 4435 16373 | 9743 3223 28 | 0.000 % | 126.09/126.18 c | 4931 | 1186 4435 16373 | 10717 4931 29 | 0.000 % | 126.29/126.32 c | 7494 | 1186 4435 16373 | 11789 7494 29 | 0.000 % | 126.50/126.59 c | 11338 | 1186 4435 16373 | 12968 11338 31 | 0.000 % | 127.00/127.01 c | 17104 | 1186 4435 16373 | 14265 10577 34 | 0.000 % | 127.60/127.62 c | 25753 | 1186 4435 16373 | 15692 12054 32 | 0.000 % | 128.60/128.68 c | 38729 | 1186 4435 16373 | 17261 9259 31 | 0.000 % | 129.99/130.08 c | 58191 | 1186 4435 16373 | 18987 11363 34 | 0.000 % | 132.40/132.46 c | 87383 | 1186 4435 16373 | 20886 11926 33 | 0.000 % | 136.79/136.83 c | 131173 | 1186 4435 16373 | 22974 13739 36 | 0.000 % | 143.09/143.13 c | 196857 | 1186 4435 16373 | 25272 21720 35 | 0.000 % | 153.00/153.08 c | 295384 | 1186 4435 16373 | 27799 14784 36 | 0.000 % | 167.70/167.73 c | 443173 | 1186 4435 16373 | 30579 20905 36 | 0.000 % | 190.49/190.56 c | 664856 | 1185 4435 16373 | 33637 26019 32 | 0.084 % | 191.59/191.63 c =============================================================================== 195.00/195.10 c core #3 195.00/195.10 c ============================[ Search Statistics ]============================== 195.00/195.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.00/195.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.00/195.10 c =============================================================================== 195.00/195.10 c | 0 | 1664 5292 20377 | 5000 0 nan | 0.000 % | 195.10/195.14 c | 100 | 1664 5292 20377 | 5500 100 21 | 0.000 % | 195.10/195.15 c | 252 | 1664 5292 20377 | 6050 252 25 | 0.000 % | 195.10/195.16 c | 480 | 1664 5292 20377 | 6655 480 29 | 0.000 % | 195.10/195.17 c | 817 | 1664 5292 20377 | 7320 817 29 | 0.000 % | 195.20/195.20 c | 1323 | 1664 5292 20377 | 8052 1323 28 | 0.000 % | 195.20/195.24 c | 2082 | 1664 5292 20377 | 8857 2082 26 | 0.000 % | 195.20/195.28 c | 3221 | 1664 5292 20377 | 9743 3221 28 | 0.000 % | 195.30/195.36 c | 4930 | 1664 5292 20377 | 10717 4930 28 | 0.000 % | 195.50/195.50 c | 7493 | 1664 5292 20377 | 11789 7493 28 | 0.000 % | 195.70/195.76 c | 11337 | 1664 5292 20377 | 12968 11337 29 | 0.000 % | 196.09/196.19 c | 17103 | 1664 5292 20377 | 14265 10560 33 | 0.000 % | 196.90/196.92 c | 25754 | 1664 5292 20377 | 15692 12022 33 | 0.000 % | 198.10/198.10 c | 38729 | 1664 5292 20377 | 17261 9241 34 | 0.000 % | 199.69/199.71 c | 58190 | 1664 5292 20377 | 18987 11350 33 | 0.000 % | 202.40/202.46 c | 87383 | 1664 5292 20377 | 20886 11916 37 | 0.000 % | 206.70/206.78 c | 131173 | 1664 5292 20377 | 22974 13711 37 | 0.000 % | 213.40/213.45 c | 196858 | 1664 5292 20377 | 25272 21745 36 | 0.000 % | 223.79/223.80 c | 295385 | 1664 5292 20377 | 27799 14572 36 | 0.000 % | 239.00/239.08 c | 443176 | 1664 5292 20377 | 30579 20893 37 | 0.000 % | 248.89/248.93 c =============================================================================== 251.70/251.70 c core #4 251.70/251.70 c ============================[ Search Statistics ]============================== 251.70/251.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 251.70/251.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 251.70/251.70 c =============================================================================== 251.70/251.70 c | 0 | 2141 6131 24322 | 5000 0 nan | 0.000 % | 251.70/251.73 c | 100 | 2141 6131 24322 | 5500 100 19 | 0.000 % | 251.70/251.75 c | 250 | 2141 6131 24322 | 6050 250 21 | 0.000 % | 251.70/251.76 c | 476 | 2141 6131 24322 | 6655 476 24 | 0.000 % | 251.70/251.77 c | 814 | 2141 6131 24322 | 7320 814 30 | 0.000 % | 251.70/251.80 c | 1321 | 2141 6131 24322 | 8052 1321 28 | 0.000 % | 251.80/251.84 c | 2081 | 2141 6131 24322 | 8857 2081 29 | 0.000 % | 251.80/251.88 c | 3223 | 2141 6131 24322 | 9743 3223 29 | 0.000 % | 251.91/251.96 c | 4932 | 2141 6131 24322 | 10717 4932 28 | 0.000 % | 252.09/252.10 c | 7494 | 2141 6131 24322 | 11789 7494 29 | 0.000 % | 252.30/252.35 c | 11342 | 2141 6131 24322 | 12968 11342 29 | 0.000 % | 252.70/252.77 c | 17109 | 2141 6131 24322 | 14265 10571 32 | 0.000 % | 253.40/253.49 c | 25758 | 2141 6131 24322 | 15692 12025 36 | 0.000 % | 254.60/254.60 c | 38734 | 2141 6131 24322 | 17261 9215 33 | 0.000 % | 256.30/256.31 c | 58196 | 2141 6131 24322 | 18987 11306 36 | 0.000 % | 258.70/258.74 c | 87389 | 2141 6131 24322 | 20886 11887 35 | 0.000 % | 262.80/262.82 c | 131178 | 2141 6131 24322 | 22974 13713 39 | 0.000 % | 269.30/269.34 c | 196864 | 2141 6131 24322 | 25272 21739 39 | 0.000 % | 279.19/279.22 c | 295390 | 2141 6131 24322 | 27799 14470 35 | 0.000 % | 294.30/294.32 c | 443180 | 2140 6131 24322 | 30579 25206 39 | 0.047 % | 296.70/296.76 c =============================================================================== 299.21/299.20 c core #5 299.21/299.20 c ============================[ Search Statistics ]============================== 299.21/299.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 299.21/299.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 299.21/299.20 c =============================================================================== 299.21/299.20 c | 0 | 2628 6954 28241 | 5000 0 nan | 0.000 % | 299.21/299.24 c | 104 | 2628 6954 28241 | 5500 104 16 | 0.000 % | 299.21/299.26 c | 256 | 2628 6954 28241 | 6050 256 22 | 0.000 % | 299.21/299.28 c | 481 | 2628 6954 28241 | 6655 481 21 | 0.000 % | 299.30/299.30 c | 819 | 2628 6954 28241 | 7320 819 24 | 0.000 % | 299.30/299.32 c | 1326 | 2628 6954 28241 | 8052 1326 28 | 0.000 % | 299.30/299.35 c | 2085 | 2628 6954 28241 | 8857 2085 30 | 0.000 % | 299.40/299.40 c | 3225 | 2628 6954 28241 | 9743 3225 27 | 0.000 % | 299.40/299.49 c | 4936 | 2628 6954 28241 | 10717 4936 28 | 0.000 % | 299.60/299.63 c | 7500 | 2628 6954 28241 | 11789 7500 29 | 0.000 % | 299.80/299.88 c | 11344 | 2628 6954 28241 | 12968 11344 30 | 0.000 % | 300.31/300.32 c | 17110 | 2628 6954 28241 | 14265 10570 31 | 0.000 % | 301.00/301.01 c | 25759 | 2628 6954 28241 | 15692 12039 35 | 0.000 % | 301.90/301.97 c | 38733 | 2628 6954 28241 | 17261 9221 34 | 0.000 % | 303.80/303.88 c | 58194 | 2628 6954 28241 | 18987 11327 36 | 0.000 % | 306.50/306.52 c | 87386 | 2628 6954 28241 | 20886 11871 41 | 0.000 % | 310.30/310.38 c | 131175 | 2628 6954 28241 | 22974 13698 36 | 0.000 % | 316.90/316.92 c | 196859 | 2628 6954 28241 | 25272 21591 38 | 0.000 % | 328.20/328.26 c | 295385 | 2628 6954 28241 | 27799 16023 38 | 0.000 % | 344.80/344.82 c | 443174 | 2628 6954 28241 | 30579 27512 40 | 0.000 % | 351.00/351.07 c =============================================================================== 353.81/353.87 c core #6 353.81/353.87 c ============================[ Search Statistics ]============================== 353.81/353.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 353.81/353.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 353.81/353.87 c =============================================================================== 353.81/353.87 c | 0 | 3131 7775 32192 | 5000 0 nan | 0.000 % | 353.90/353.92 c | 100 | 3131 7775 32192 | 5500 100 30 | 0.000 % | 353.90/353.92 c | 250 | 3131 7775 32192 | 6050 250 31 | 0.000 % | 353.90/353.94 c | 475 | 3131 7775 32192 | 6655 475 31 | 0.000 % | 353.90/353.96 c | 814 | 3131 7775 32192 | 7320 814 30 | 0.000 % | 353.90/353.99 c | 1322 | 3131 7775 32192 | 8052 1322 30 | 0.000 % | 354.01/354.06 c | 2083 | 3131 7775 32192 | 8857 2083 29 | 0.000 % | 354.11/354.11 c | 3223 | 3131 7775 32192 | 9743 3223 31 | 0.000 % | 354.21/354.22 c | 4934 | 3131 7775 32192 | 10717 4934 32 | 0.000 % | 354.31/354.38 c | 7499 | 3131 7775 32192 | 11789 7499 31 | 0.000 % | 354.61/354.66 c | 11344 | 3131 7775 32192 | 12968 11344 32 | 0.000 % | 355.00/355.06 c | 17113 | 3131 7775 32192 | 14265 10572 32 | 0.000 % | 355.91/355.91 c | 25762 | 3131 7775 32192 | 15692 12049 37 | 0.000 % | 357.20/357.22 c | 38736 | 3131 7775 32192 | 17261 9235 34 | 0.000 % | 359.10/359.12 c | 58197 | 3131 7775 32192 | 18987 11335 36 | 0.000 % | 361.91/361.96 c | 87389 | 3131 7775 32192 | 20886 11885 34 | 0.000 % | 366.21/366.20 c | 131178 | 3131 7775 32192 | 22974 13686 34 | 0.000 % | 372.70/372.79 c | 196863 | 3131 7775 32192 | 25272 21532 39 | 0.000 % | 383.81/383.88 c | 295390 | 3131 7775 32192 | 27799 12089 36 | 0.000 % | 401.20/401.25 c | 443179 | 3131 7775 32192 | 30579 21686 35 | 0.000 % | 416.30/416.36 c =============================================================================== 419.40/419.48 c core #7 419.40/419.48 c ============================[ Search Statistics ]============================== 419.40/419.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 419.40/419.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 419.40/419.48 c =============================================================================== 419.40/419.48 c | 0 | 3651 8587 36157 | 5000 0 nan | 0.000 % | 419.50/419.54 c | 100 | 3651 8587 36157 | 5500 100 26 | 0.000 % | 419.50/419.55 c | 252 | 3651 8587 36157 | 6050 252 32 | 0.000 % | 419.50/419.56 c | 478 | 3651 8587 36157 | 6655 478 33 | 0.000 % | 419.50/419.58 c | 815 | 3651 8587 36157 | 7320 815 31 | 0.000 % | 419.61/419.61 c | 1323 | 3651 8587 36157 | 8052 1323 31 | 0.000 % | 419.61/419.64 c | 2083 | 3651 8587 36157 | 8857 2083 31 | 0.000 % | 419.71/419.70 c | 3223 | 3651 8587 36157 | 9743 3223 30 | 0.000 % | 419.71/419.79 c | 4931 | 3651 8587 36157 | 10717 4931 31 | 0.000 % | 419.90/419.95 c | 7493 | 3651 8587 36157 | 11789 7493 32 | 0.000 % | 420.21/420.24 c | 11338 | 3651 8587 36157 | 12968 11338 33 | 0.000 % | 420.60/420.66 c | 17110 | 3651 8587 36157 | 14265 10573 32 | 0.000 % | 421.31/421.37 c | 25759 | 3651 8587 36157 | 15692 12035 35 | 0.000 % | 422.60/422.61 c | 38736 | 3651 8587 36157 | 17261 9198 37 | 0.000 % | 424.41/424.44 c | 58198 | 3651 8587 36157 | 18987 11303 38 | 0.000 % | 427.60/427.68 c | 87390 | 3651 8587 36157 | 20886 11882 38 | 0.000 % | 432.50/432.53 c | 131180 | 3651 8587 36157 | 22974 13699 36 | 0.000 % | 439.61/439.66 c | 196864 | 3651 8587 36157 | 25272 21669 39 | 0.000 % | 450.01/450.00 c | 295391 | 3651 8587 36157 | 27799 15042 37 | 0.000 % | 465.71/465.71 c | 443180 | 3651 8587 36157 | 30579 19733 38 | 0.000 % | 491.01/491.02 c =============================================================================== 494.61/494.60 c core #8 494.61/494.60 c ============================[ Search Statistics ]============================== 494.61/494.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 494.61/494.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 494.61/494.60 c =============================================================================== 494.61/494.60 c | 0 | 4210 9391 40168 | 5000 0 nan | 0.000 % | 494.61/494.66 c | 100 | 4210 9391 40168 | 5500 100 23 | 0.000 % | 494.61/494.67 c | 253 | 4210 9391 40168 | 6050 253 26 | 0.000 % | 494.61/494.69 c | 479 | 4210 9391 40168 | 6655 479 28 | 0.000 % | 494.70/494.71 c | 817 | 4210 9391 40168 | 7320 817 28 | 0.000 % | 494.70/494.74 c | 1324 | 4210 9391 40168 | 8052 1324 29 | 0.000 % | 494.70/494.78 c | 2084 | 4210 9391 40168 | 8857 2084 31 | 0.000 % | 494.81/494.84 c | 3224 | 4210 9391 40168 | 9743 3224 29 | 0.000 % | 494.91/494.93 c | 4935 | 4210 9391 40168 | 10717 4935 29 | 0.000 % | 495.02/495.08 c | 7497 | 4210 9391 40168 | 11789 7497 29 | 0.000 % | 495.30/495.38 c | 11344 | 4210 9391 40168 | 12968 11344 30 | 0.000 % | 495.81/495.84 c | 17110 | 4210 9391 40168 | 14265 10584 31 | 0.000 % | 496.50/496.56 c | 25759 | 4210 9391 40168 | 15692 12047 33 | 0.000 % | 497.71/497.70 c | 38733 | 4210 9391 40168 | 17261 9228 34 | 0.000 % | 499.41/499.43 c | 58194 | 4210 9391 40168 | 18987 11311 33 | 0.000 % | 502.51/502.53 c | 87389 | 4210 9391 40168 | 20886 11899 37 | 0.000 % | 506.81/506.80 c | 131179 | 4210 9391 40168 | 22974 13721 37 | 0.000 % | 513.51/513.55 c | 196863 | 4210 9391 40168 | 25272 21721 35 | 0.000 % | 524.50/524.57 c | 295393 | 4210 9391 40168 | 27799 13851 35 | 0.000 % | 541.31/541.33 c | 443183 | 4210 9391 40168 | 30579 20010 36 | 0.000 % | 567.11/567.13 c | 664866 | 4210 9391 40168 | 33637 21249 37 | 0.000 % | 605.61/605.64 c =============================================================================== 611.01/611.04 c core #9 611.01/611.04 c ============================[ Search Statistics ]============================== 611.01/611.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 611.01/611.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 611.01/611.04 c =============================================================================== 611.01/611.04 c | 0 | 4769 10182 44137 | 5000 0 nan | 0.000 % | 611.11/611.13 c | 100 | 4769 10182 44137 | 5500 100 24 | 0.000 % | 611.11/611.14 c | 250 | 4769 10182 44137 | 6050 250 27 | 0.000 % | 611.11/611.15 c | 475 | 4769 10182 44137 | 6655 475 26 | 0.000 % | 611.11/611.17 c | 812 | 4769 10182 44137 | 7320 812 26 | 0.000 % | 611.21/611.20 c | 1318 | 4769 10182 44137 | 8052 1318 26 | 0.000 % | 611.21/611.25 c | 2078 | 4769 10182 44137 | 8857 2078 28 | 0.000 % | 611.31/611.31 c | 3219 | 4769 10182 44137 | 9743 3219 28 | 0.000 % | 611.41/611.42 c | 4927 | 4769 10182 44137 | 10717 4927 29 | 0.000 % | 611.51/611.57 c | 7489 | 4769 10182 44137 | 11789 7489 28 | 0.000 % | 611.81/611.86 c | 11334 | 4769 10182 44137 | 12968 11334 29 | 0.000 % | 612.31/612.30 c | 17100 | 4769 10182 44137 | 14265 10566 30 | 0.000 % | 613.10/613.12 c | 25750 | 4769 10182 44137 | 15692 12035 32 | 0.000 % | 614.41/614.46 c | 38725 | 4769 10182 44137 | 17261 9213 35 | 0.000 % | 616.11/616.15 c | 58187 | 4769 10182 44137 | 18987 11305 33 | 0.000 % | 619.01/619.09 c | 87381 | 4769 10182 44137 | 20886 11880 33 | 0.000 % | 623.21/623.23 c | 131170 | 4769 10182 44137 | 22974 13713 34 | 0.000 % | 630.51/630.55 c | 196856 | 4769 10182 44137 | 25272 21708 34 | 0.000 % | 643.11/643.17 c | 295384 | 4769 10182 44137 | 27799 15455 42 | 0.000 % | 659.91/659.98 c | 443173 | 4769 10182 44137 | 30579 20395 39 | 0.000 % | 686.91/686.99 c | 664857 | 4769 10182 44137 | 33637 23895 37 | 0.000 % | 700.21/700.26 c =============================================================================== 704.51/704.57 c core #10 704.51/704.57 c ============================[ Search Statistics ]============================== 704.51/704.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 704.51/704.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 704.51/704.57 c =============================================================================== 704.51/704.57 c | 0 | 5337 10963 48069 | 5000 0 nan | 0.000 % | 704.62/704.65 c | 105 | 5337 10963 48069 | 5500 105 34 | 0.000 % | 704.62/704.66 c | 255 | 5337 10963 48069 | 6050 255 30 | 0.000 % | 704.62/704.68 c | 480 | 5337 10963 48069 | 6655 480 31 | 0.000 % | 704.71/704.70 c | 818 | 5337 10963 48069 | 7320 818 31 | 0.000 % | 704.71/704.74 c | 1329 | 5337 10963 48069 | 8052 1329 32 | 0.000 % | 704.71/704.78 c | 2088 | 5337 10963 48069 | 8857 2088 31 | 0.000 % | 704.81/704.85 c | 3227 | 5337 10963 48069 | 9743 3227 30 | 0.000 % | 704.91/704.96 c | 4935 | 5337 10963 48069 | 10717 4935 31 | 0.000 % | 705.11/705.14 c | 7497 | 5337 10963 48069 | 11789 7497 34 | 0.000 % | 705.41/705.46 c | 11341 | 5337 10963 48069 | 12968 11341 33 | 0.000 % | 705.91/705.92 c | 17108 | 5337 10963 48069 | 14265 10581 34 | 0.000 % | 706.71/706.72 c | 25757 | 5337 10963 48069 | 15692 12043 33 | 0.000 % | 708.11/708.11 c | 38733 | 5337 10963 48069 | 17261 9227 36 | 0.000 % | 710.01/710.08 c | 58194 | 5337 10963 48069 | 18987 11325 36 | 0.000 % | 713.22/713.25 c | 87386 | 5337 10963 48069 | 20886 11896 38 | 0.000 % | 718.32/718.34 c | 131177 | 5337 10963 48069 | 22974 13691 39 | 0.000 % | 725.61/725.65 c | 196861 | 5337 10963 48069 | 25272 21584 40 | 0.000 % | 737.42/737.42 c | 295387 | 5337 10963 48069 | 27799 13358 36 | 0.000 % | 755.72/755.79 c | 443177 | 5337 10963 48069 | 30579 23008 37 | 0.000 % | 782.71/782.75 c | 664864 | 5337 10963 48069 | 33637 26930 36 | 0.000 % | 826.12/826.14 c | 997389 | 5336 10963 48069 | 37001 19407 31 | 0.019 % | 832.42/832.45 c =============================================================================== 838.62/838.63 c core #11 838.62/838.63 c ============================[ Search Statistics ]============================== 838.62/838.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 838.62/838.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 838.62/838.63 c =============================================================================== 838.62/838.63 c | 0 | 5916 11736 52011 | 5000 0 nan | 0.000 % | 838.72/838.72 c | 100 | 5916 11736 52011 | 5500 100 21 | 0.000 % | 838.72/838.73 c | 250 | 5916 11736 52011 | 6050 250 23 | 0.000 % | 838.72/838.75 c | 476 | 5916 11736 52011 | 6655 476 29 | 0.000 % | 838.72/838.77 c | 814 | 5916 11736 52011 | 7320 814 29 | 0.000 % | 838.81/838.81 c | 1321 | 5916 11736 52011 | 8052 1321 29 | 0.000 % | 838.81/838.87 c | 2085 | 5916 11736 52011 | 8857 2085 28 | 0.000 % | 838.92/838.93 c | 3224 | 5916 11736 52011 | 9743 3224 30 | 0.000 % | 839.01/839.04 c | 4933 | 5916 11736 52011 | 10717 4933 31 | 0.000 % | 839.22/839.21 c | 7496 | 5916 11736 52011 | 11789 7496 31 | 0.000 % | 839.62/839.61 c | 11342 | 5916 11736 52011 | 12968 11342 32 | 0.000 % | 840.02/840.09 c | 17108 | 5916 11736 52011 | 14265 10585 32 | 0.000 % | 840.92/840.97 c | 25757 | 5916 11736 52011 | 15692 12060 33 | 0.000 % | 842.42/842.40 c | 38734 | 5916 11736 52011 | 17261 9226 36 | 0.000 % | 844.61/844.61 c | 58196 | 5916 11736 52011 | 18987 11311 39 | 0.000 % | 847.91/847.92 c | 87394 | 5916 11736 52011 | 20886 11863 39 | 0.000 % | 853.11/853.10 c | 131183 | 5916 11736 52011 | 22974 13707 37 | 0.000 % | 861.12/861.11 c | 196868 | 5916 11736 52011 | 25272 21692 39 | 0.000 % | 872.71/872.73 c | 295394 | 5916 11736 52011 | 27799 14266 38 | 0.000 % | 883.92/883.90 c =============================================================================== 883.92/883.90 c #cores: 11 883.92/883.90 c Final Weight: 11 883.92/883.90 o 11 883.92/883.90 s OPTIMUM FOUND 883.92/883.90 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 883.92/883.90 c Total CPU time: 866.18 s
OK 11
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690155-1277910391/watcher-2690155-1277910391 -o /tmp/evaluation-result-2690155-1277910391/solver-2690155-1277910391 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690155-1277910391.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.00 2.03 2.00 3/178 16412 /proc/meminfo: memFree=30542628/32951124 swapFree=67111528/67111528 [pid=16412] ppid=16410 vsize=2660 CPUtime=0 /proc/16412/stat : 16412 (wbo1.4a) R 16410 16412 15584 0 -1 4202496 305 0 0 0 0 0 0 0 21 0 1 0 132334607 2723840 224 4089446400 134512640 135751879 4290612656 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16412/statm: 665 224 145 303 0 338 0 [startup+0.0405751 s] /proc/loadavg: 2.00 2.03 2.00 3/178 16412 /proc/meminfo: memFree=30542628/32951124 swapFree=67111528/67111528 [pid=16412] ppid=16410 vsize=2980 CPUtime=0.03 /proc/16412/stat : 16412 (wbo1.4a) R 16410 16412 15584 0 -1 4202496 420 0 0 0 3 0 0 0 21 0 1 0 132334607 3051520 317 4089446400 134512640 135751879 4290612656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16412/statm: 745 317 143 303 0 440 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2980 [startup+0.100553 s] /proc/loadavg: 2.00 2.03 2.00 3/178 16412 /proc/meminfo: memFree=30542628/32951124 swapFree=67111528/67111528 [pid=16412] ppid=16410 vsize=3508 CPUtime=0.09 /proc/16412/stat : 16412 (wbo1.4a) R 16410 16412 15584 0 -1 4202496 540 0 0 0 9 0 0 0 21 0 1 0 132334607 3592192 437 4089446400 134512640 135751879 4290612656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16412/statm: 877 437 143 303 0 572 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3508 [startup+0.300518 s] /proc/loadavg: 2.00 2.03 2.00 3/178 16412 /proc/meminfo: memFree=30542628/32951124 swapFree=67111528/67111528 [pid=16412] ppid=16410 vsize=4696 CPUtime=0.29 /proc/16412/stat : 16412 (wbo1.4a) R 16410 16412 15584 0 -1 4202496 840 0 0 0 28 1 0 0 21 0 1 0 132334607 4808704 737 4089446400 134512640 135751879 4290612656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16412/statm: 1174 737 143 303 0 869 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4696 [startup+0.700445 s] /proc/loadavg: 2.00 2.03 2.00 3/178 16412 /proc/meminfo: memFree=30542628/32951124 swapFree=67111528/67111528 [pid=16412] ppid=16410 vsize=6568 CPUtime=0.69 /proc/16412/stat : 16412 (wbo1.4a) R 16410 16412 15584 0 -1 4202496 1315 0 0 0 67 2 0 0 22 0 1 0 132334607 6725632 1212 4089446400 134512640 135751879 4290612656 18446744073709551615 134616273 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16412/statm: 1642 1213 143 303 0 1337 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6568 [startup+1.5003 s] /proc/loadavg: 2.00 2.03 2.00 3/179 16413 /proc/meminfo: memFree=30536668/32951124 swapFree=67111528/67111528 [pid=16412] ppid=16410 vsize=10132 CPUtime=1.49 /proc/16412/stat : 16412 (wbo1.4a) R 16410 16412 15584 0 -1 4202496 2191 0 0 0 145 4 0 0 25 0 1 0 132334607 10375168 2088 4089446400 134512640 135751879 4290612656 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16412/statm: 2533 2088 143 303 0 2228 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10132 [startup+3.10101 s] /proc/loadavg: 2.00 2.03 2.00 3/179 16413 /proc/meminfo: memFree=30532204/32951124 swapFree=67111528/67111528 [pid=16412] ppid=16410 vsize=15680 CPUtime=3.09 /proc/16412/stat : 16412 (wbo1.4a) R 16410 16412 15584 0 -1 4202496 3583 0 0 0 302 7 0 0 25 0 1 0 132334607 16056320 3480 4089446400 134512640 135751879 4290612656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16412/statm: 3920 3480 143 303 0 3615 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15680 [startup+6.30042 s] /proc/loadavg: 2.00 2.03 2.00 3/179 16413 /proc/meminfo: memFree=30521696/32951124 swapFree=67111528/67111528 [pid=16412] ppid=16410 vsize=26060 CPUtime=6.29 /proc/16412/stat : 16412 (wbo1.4a) R 16410 16412 15584 0 -1 4202496 6161 0 0 0 616 13 0 0 22 0 1 0 132334607 26685440 6058 4089446400 134512640 135751879 4290612656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16412/statm: 6515 6058 143 303 0 6210 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26060 [startup+12.7003 s] /proc/loadavg: 2.00 2.03 2.00 3/179 16413 /proc/meminfo: memFree=30503180/32951124 swapFree=67111528/67111528 [pid=16412] ppid=16410 vsize=44696 CPUtime=12.69 /proc/16412/stat : 16412 (wbo1.4a) R 16410 16412 15584 0 -1 4202496 10824 0 0 0 1244 25 0 0 25 0 1 0 132334607 45768704 10721 4089446400 134512640 135751879 4290612656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16412/statm: 11174 10721 143 303 0 10869 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 44696 [startup+25.5009 s] /proc/loadavg: 2.00 2.03 2.00 3/179 16441 /proc/meminfo: memFree=30960772/32951124 swapFree=67111528/67111528 [pid=16412] ppid=16410 vsize=78152 CPUtime=25.49 /proc/16412/stat : 16412 (wbo1.4a) R 16410 16412 15584 0 -1 4202496 19205 0 0 0 2502 47 0 0 25 0 1 0 132334607 80027648 19102 4089446400 134512640 135751879 4290612656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16412/statm: 19538 19102 143 303 0 19233 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 78152 [startup+51.1002 s] /proc/loadavg: 2.00 2.02 2.00 3/179 16442 /proc/meminfo: memFree=30874384/32951124 swapFree=67111528/67111528 [pid=16412] ppid=16410 vsize=143060 CPUtime=51.09 /proc/16412/stat : 16412 (wbo1.4a) R 16410 16412 15584 0 -1 4202496 35383 0 0 0 5009 100 0 0 25 0 1 0 132334607 146493440 35280 4089446400 134512640 135751879 4290612656 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16412/statm: 35765 35280 143 303 0 35460 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 143060 [startup+102.306 s] /proc/loadavg: 2.00 2.02 2.00 3/179 16443 /proc/meminfo: memFree=30735952/32951124 swapFree=67111528/67111528 [pid=16412] ppid=16410 vsize=232348 CPUtime=102.3 /proc/16412/stat : 16412 (wbo1.4a) R 16410 16412 15584 0 -1 4202496 57800 0 0 0 10024 206 0 0 25 0 1 0 132334607 237924352 57664 4089446400 134512640 135751879 4290612656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16412/statm: 58087 57664 146 303 0 57782 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 232348 [startup+162.301 s] /proc/loadavg: 2.00 2.01 2.00 3/179 16444 /proc/meminfo: memFree=30622180/32951124 swapFree=67111528/67111528 [pid=16412] ppid=16410 vsize=314468 CPUtime=162.29 /proc/16412/stat : 16412 (wbo1.4a) R 16410 16412 15584 0 -1 4202496 78299 0 0 0 15888 341 0 0 25 0 1 0 132334607 322015232 78163 4089446400 134512640 135751879 4290612656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16412/statm: 78617 78163 146 303 0 78312 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 314468 [startup+222.301 s] /proc/loadavg: 2.00 2.01 2.00 3/179 16446 /proc/meminfo: memFree=30502100/32951124 swapFree=67111528/67111528 [pid=16412] ppid=16410 vsize=421432 CPUtime=222.29 /proc/16412/stat : 16412 (wbo1.4a) R 16410 16412 15584 0 -1 4202496 105041 0 0 0 21757 472 0 0 25 0 1 0 132334607 431546368 104905 4089446400 134512640 135751879 4290612656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16412/statm: 105358 104905 146 303 0 105053 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 421432 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16448 /proc/meminfo: memFree=30408804/32951124 swapFree=67111528/67111528 [pid=16412] ppid=16410 vsize=512052 CPUtime=282.3 /proc/16412/stat : 16412 (wbo1.4a) R 16410 16412 15584 0 -1 4202496 127684 0 0 0 27620 610 0 0 25 0 1 0 132334607 524341248 127548 4089446400 134512640 135751879 4290612656 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16412/statm: 128013 127548 146 303 0 127708 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 512052 [startup+342.301 s] /proc/loadavg: 2.07 2.02 2.00 3/179 16449 /proc/meminfo: memFree=30307320/32951124 swapFree=67111528/67111528 [pid=16412] ppid=16410 vsize=610424 CPUtime=342.3 /proc/16412/stat : 16412 (wbo1.4a) R 16410 16412 15584 0 -1 4202496 152300 0 0 0 33493 737 0 0 25 0 1 0 132334607 625074176 152164 4089446400 134512640 135751879 4290612656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16412/statm: 152606 152164 146 303 0 152301 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 610424 [startup+402.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 16451 /proc/meminfo: memFree=30212156/32951124 swapFree=67111528/67111528 [pid=16412] ppid=16410 vsize=701532 CPUtime=402.3 /proc/16412/stat : 16412 (wbo1.4a) R 16410 16412 15584 0 -1 4202496 175055 0 0 0 39375 855 0 0 25 0 1 0 132334607 718368768 174919 4089446400 134512640 135751879 4290612656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16412/statm: 175383 174919 146 303 0 175078 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 701532 [startup+462.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 16452 /proc/meminfo: memFree=30121940/32951124 swapFree=67111528/67111528 [pid=16412] ppid=16410 vsize=789048 CPUtime=462.3 /proc/16412/stat : 16412 (wbo1.4a) R 16410 16412 15584 0 -1 4202496 196951 0 0 0 45251 979 0 0 25 0 1 0 132334607 807985152 196815 4089446400 134512640 135751879 4290612656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16412/statm: 197262 196815 146 303 0 196957 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 789048 [startup+522.3 s] /proc/loadavg: 2.04 2.02 2.00 3/179 16454 /proc/meminfo: memFree=30025532/32951124 swapFree=67111528/67111528 [pid=16412] ppid=16410 vsize=884600 CPUtime=522.31 /proc/16412/stat : 16412 (wbo1.4a) R 16410 16412 15584 0 -1 4202496 220814 0 0 0 51124 1107 0 0 25 0 1 0 132334607 905830400 220678 4089446400 134512640 135751879 4290612656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16412/statm: 221150 220678 146 303 0 220845 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 884600 [startup+582.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 16456 /proc/meminfo: memFree=29911656/32951124 swapFree=67111528/67111528 [pid=16412] ppid=16410 vsize=997732 CPUtime=582.31 /proc/16412/stat : 16412 (wbo1.4a) R 16410 16412 15584 0 -1 4202496 249076 0 0 0 57003 1228 0 0 25 0 1 0 132334607 1021677568 248940 4089446400 134512640 135751879 4290612656 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16412/statm: 249433 248940 146 303 0 249128 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 997732 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16457 /proc/meminfo: memFree=29831144/32951124 swapFree=67111528/67111528 [pid=16412] ppid=16410 vsize=1076472 CPUtime=642.31 /proc/16412/stat : 16412 (wbo1.4a) R 16410 16412 15584 0 -1 4202496 268811 0 0 0 62893 1338 0 0 25 0 1 0 132334607 1102307328 268675 4089446400 134512640 135751879 4290612656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16412/statm: 269118 268675 146 303 0 268813 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1076472 [startup+702.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16459 /proc/meminfo: memFree=29730292/32951124 swapFree=67111528/67111528 [pid=16412] ppid=16410 vsize=1182260 CPUtime=702.31 /proc/16412/stat : 16412 (wbo1.4a) R 16410 16412 15584 0 -1 4202496 295223 0 0 0 68789 1442 0 0 25 0 1 0 132334607 1210634240 295087 4089446400 134512640 135751879 4290612656 18446744073709551615 134521025 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16412/statm: 295565 295087 146 303 0 295260 0 Current children cumulated CPU time (s) 702.31 Current children cumulated vsize (KiB) 1182260 [startup+762.306 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16460 /proc/meminfo: memFree=29673944/32951124 swapFree=67111528/67111528 [pid=16412] ppid=16410 vsize=1232948 CPUtime=762.31 /proc/16412/stat : 16412 (wbo1.4a) R 16410 16412 15584 0 -1 4202496 307915 0 0 0 74673 1558 0 0 25 0 1 0 132334607 1262538752 307779 4089446400 134512640 135751879 4290612656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16412/statm: 308237 307779 146 303 0 307932 0 Current children cumulated CPU time (s) 762.31 Current children cumulated vsize (KiB) 1232948 [startup+822.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16462 /proc/meminfo: memFree=29562936/32951124 swapFree=67111528/67111528 [pid=16412] ppid=16410 vsize=1344708 CPUtime=822.31 /proc/16412/stat : 16412 (wbo1.4a) R 16410 16412 15584 0 -1 4202496 335841 0 0 0 80564 1667 0 0 25 0 1 0 132334607 1376980992 335705 4089446400 134512640 135751879 4290612656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16412/statm: 336177 335705 146 303 0 335872 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 1344708 [startup+882.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16464 /proc/meminfo: memFree=29495928/32951124 swapFree=67111528/67111528 [pid=16412] ppid=16410 vsize=1409704 CPUtime=882.31 /proc/16412/stat : 16412 (wbo1.4a) R 16410 16412 15584 0 -1 4202496 352124 0 0 0 86461 1770 0 0 25 0 1 0 132334607 1443536896 351988 4089446400 134512640 135751879 4290612656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16412/statm: 352426 351988 146 303 0 352121 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 1409704 Solver just ended. Dumping a history of the last processes samples [startup+883.1 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16464 /proc/meminfo: memFree=29495928/32951124 swapFree=67111528/67111528 [pid=16412] ppid=16410 vsize=1410760 CPUtime=883.12 /proc/16412/stat : 16412 (wbo1.4a) R 16410 16412 15584 0 -1 4202496 352375 0 0 0 86539 1773 0 0 25 0 1 0 132334607 1444618240 352239 4089446400 134512640 135751879 4290612656 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16412/statm: 352690 352239 146 303 0 352385 0 Current children cumulated CPU time (s) 883.12 Current children cumulated vsize (KiB) 1410760 [startup+883.5 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16464 /proc/meminfo: memFree=29494564/32951124 swapFree=67111528/67111528 [pid=16412] ppid=16410 vsize=1411300 CPUtime=883.52 /proc/16412/stat : 16412 (wbo1.4a) R 16410 16412 15584 0 -1 4202496 352511 0 0 0 86578 1774 0 0 25 0 1 0 132334607 1445171200 352375 4089446400 134512640 135751879 4290612656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16412/statm: 352825 352375 146 303 0 352520 0 Current children cumulated CPU time (s) 883.52 Current children cumulated vsize (KiB) 1411300 [startup+883.9 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16464 /proc/meminfo: memFree=29494564/32951124 swapFree=67111528/67111528 [pid=16412] ppid=16410 vsize=1411696 CPUtime=883.92 /proc/16412/stat : 16412 (wbo1.4a) R 16410 16412 15584 0 -1 4202496 352607 0 0 0 86617 1775 0 0 25 0 1 0 132334607 1445576704 352471 4089446400 134512640 135751879 4290612656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16412/statm: 352924 352471 146 303 0 352619 0 Current children cumulated CPU time (s) 883.92 Current children cumulated vsize (KiB) 1411696 Child status: 0 Real time (s): 883.952 CPU time (s): 883.978 CPU user time (s): 866.18 CPU system time (s): 17.7973 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1411696 getrusage(RUSAGE_CHILDREN,...) data: user time used= 866.18 system time used= 17.7973 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 352611 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= 20 involuntary context switches= 731 runsolver used 1.2808 second user time and 2.75258 second system time The end
Begin job on node139 at 2010-06-30 17:06:31 IDJOB=2690155 IDBENCH=78977 IDSOLVER=1200 FILE ID=node139/2690155-1277910391 PBS_JOBID= 11197246 Free space on /tmp= 74124 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900551347--soft-66-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690155-1277910391/watcher-2690155-1277910391 -o /tmp/evaluation-result-2690155-1277910391/solver-2690155-1277910391 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690155-1277910391.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ccbb2f2628d7a379eab2ad56e88b2a24 RANDOM SEED=1316379687 node139.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.840 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.68 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.840 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.840 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.840 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.840 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.78 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.840 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.75 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.840 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.82 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.840 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: 32951124 kB MemFree: 30543280 kB Buffers: 198876 kB Cached: 1472420 kB SwapCached: 0 kB Active: 1264708 kB Inactive: 995680 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30543280 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2780 kB Writeback: 0 kB AnonPages: 589348 kB Mapped: 15096 kB Slab: 82796 kB PageTables: 5792 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 735628 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= 74116 MiB End job on node139 at 2010-06-30 17:21:15