c wbo 1.6 beta - 20110325 c | Number of variables: 150 | c | Number of clauses: 8196 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 150 | c | Number Clauses: 8046 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 150 8046 16092 | 5000 0 -nan | 0.000 % | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 306 8272 16554 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 312 8273 16566 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 316 8274 16574 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 320 8275 16582 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 324 8276 16590 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 330 8277 16602 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 334 8278 16610 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 340 8279 16622 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 346 8280 16634 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 352 8281 16646 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 358 8282 16658 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 362 8283 16666 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 368 8284 16678 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 372 8285 16686 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 376 8286 16694 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 382 8287 16706 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 386 8288 16714 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 392 8289 16726 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 396 8290 16734 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 402 8291 16746 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 408 8292 16758 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 414 8293 16770 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 420 8294 16782 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 426 8295 16794 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 432 8296 16806 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 436 8297 16814 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 442 8298 16826 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 448 8299 16838 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 462 8300 16866 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 482 8301 16906 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 500 8302 16942 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 518 8303 16978 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 536 8304 17014 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 546 8305 17034 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 558 8306 17058 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 582 8307 17106 | 5000 0 -nan | 0.000 % | c | 101 | 579 8307 17106 | 5500 101 14 | 0.516 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 608 8308 17158 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 618 8309 17178 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 640 8310 17222 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 654 8311 17250 | 5000 0 -nan | 0.000 % | c | 100 | 653 8311 17250 | 5500 100 14 | 0.153 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 684 8312 17310 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 700 8313 17342 | 5000 0 -nan | 0.000 % | c | 100 | 689 8313 17342 | 5500 100 9 | 1.714 % | c | 252 | 667 8313 17342 | 6050 252 13 | 25.143 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 728 8314 17398 | 5000 0 -nan | 0.000 % | c | 103 | 728 8314 17398 | 5500 103 19 | 0.026 % | c | 259 | 728 8314 17398 | 6050 259 21 | 0.000 % | c | 484 | 723 8314 17398 | 6655 484 23 | 0.824 % | c | 821 | 721 8314 17398 | 7320 821 29 | 0.983 % | c | 1329 | 714 8314 17398 | 8052 1329 30 | 1.923 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 768 8315 17478 | 5000 0 -nan | 0.000 % | c | 103 | 768 8315 17478 | 5500 103 13 | 0.024 % | c | 254 | 761 8315 17478 | 6050 254 13 | 1.065 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 796 8316 17534 | 5000 0 -nan | 0.000 % | c | 100 | 796 8316 17534 | 5500 100 20 | 0.018 % | c | 250 | 796 8316 17534 | 6050 250 37 | 0.016 % | c | 475 | 781 8316 17534 | 6655 475 26 | 2.010 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 832 8317 17606 | 5000 0 -nan | 0.000 % | c | 100 | 832 8317 17606 | 5500 100 18 | 0.016 % | c | 250 | 831 8317 17606 | 6050 250 18 | 0.138 % | c | 475 | 820 8317 17606 | 6655 475 19 | 1.463 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 882 8318 17706 | 5000 0 -nan | 0.000 % | c | 101 | 882 8318 17706 | 5500 101 14 | 0.014 % | c | 253 | 881 8318 17706 | 6050 253 19 | 0.114 % | c | 478 | 877 8318 17706 | 6655 478 20 | 0.580 % | c | 815 | 865 8318 17706 | 7320 815 21 | 2.041 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 918 8319 17778 | 5000 0 -nan | 0.000 % | c | 104 | 918 8319 17778 | 5500 104 20 | 0.013 % | c | 254 | 917 8319 17778 | 6050 254 18 | 0.109 % | c | 479 | 916 8319 17778 | 6655 479 20 | 0.218 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 972 8320 17886 | 5000 0 -nan | 0.000 % | c | 101 | 972 8320 17886 | 5500 101 17 | 0.012 % | c | 253 | 972 8320 17886 | 6050 253 18 | 0.000 % | c | 478 | 971 8320 17886 | 6655 478 23 | 0.113 % | c | 821 | 969 8320 17886 | 7320 821 24 | 0.321 % | c | 1328 | 968 8320 17886 | 8052 1328 30 | 0.412 % | c | 2087 | 968 8320 17886 | 8857 2087 34 | 0.412 % | c | 3226 | 962 8320 17886 | 9743 3226 34 | 1.029 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1012 8321 17966 | 5000 0 -nan | 0.000 % | c | 100 | 1012 8321 17966 | 5500 100 18 | 0.011 % | c | 251 | 1012 8321 17966 | 6050 251 27 | 0.000 % | c | 476 | 1012 8321 17966 | 6655 476 29 | 0.000 % | c | 813 | 1012 8321 17966 | 7320 813 32 | 0.010 % | c | 1319 | 1012 8321 17966 | 8052 1319 35 | 0.010 % | c | 2078 | 1012 8321 17966 | 8857 2078 39 | 0.000 % | c | 3218 | 1012 8321 17966 | 9743 3218 44 | 0.011 % | c | 4927 | 1012 8321 17966 | 10717 4927 50 | 0.000 % | c | 7490 | 1012 8321 17966 | 11789 7490 52 | 0.010 % | c | 11335 | 1011 8321 17966 | 12968 11335 55 | 0.110 % | c | 17107 | 1010 8321 17966 | 14265 10465 55 | 0.311 % | c | 25761 | 1006 8321 17966 | 15692 11876 55 | 0.604 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1108 8322 18158 | 5000 0 -nan | 0.000 % | c | 100 | 1108 8322 18158 | 5500 100 31 | 0.009 % | c | 251 | 1108 8322 18158 | 6050 251 31 | 0.000 % | c | 476 | 1108 8322 18158 | 6655 476 49 | 0.000 % | c | 813 | 1108 8322 18158 | 7320 813 49 | 0.000 % | c | 1319 | 1108 8322 18158 | 8052 1319 59 | 0.000 % | c | 2079 | 1108 8322 18158 | 8857 2079 60 | 0.000 % | c | 3220 | 1108 8322 18158 | 9743 3220 63 | 0.008 % | c | 4930 | 1108 8322 18158 | 10717 4930 68 | 0.000 % | c | 7492 | 1108 8322 18158 | 11789 7492 69 | 0.009 % | c | 11336 | 1108 8322 18158 | 12968 11336 78 | 0.000 % | c | 17102 | 1108 8322 18158 | 14265 10456 88 | 0.009 % | c | 25752 | 1108 8322 18158 | 15692 11830 83 | 0.000 % | c | 38726 | 1108 8322 18158 | 17261 8807 93 | 0.000 % | c | 58189 | 1107 8322 18158 | 18987 10840 105 | 0.102 % | c | 87381 | 1106 8322 18158 | 20886 11188 111 | 0.190 % | c | 131171 | 1103 8322 18158 | 22974 12666 88 | 0.460 % | c | 196857 | 1101 8322 18158 | 25272 20281 76 | 0.632 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1200 8323 18342 | 5000 0 -nan | 0.000 % | c | 104 | 1200 8323 18342 | 5500 104 36 | 0.008 % | c | 254 | 1200 8323 18342 | 6050 254 33 | 0.000 % | c | 479 | 1200 8323 18342 | 6655 479 41 | 0.000 % | c | 822 | 1200 8323 18342 | 7320 822 57 | 0.000 % | c | 1328 | 1200 8323 18342 | 8052 1328 68 | 0.000 % | c | 2089 | 1200 8323 18342 | 8857 2089 81 | 0.000 % | c | 3228 | 1200 8323 18342 | 9743 3228 83 | 0.000 % | c | 4937 | 1200 8323 18342 | 10717 4937 98 | 0.000 % | c | 7499 | 1200 8323 18342 | 11789 7499 95 | 0.000 % | c | 11344 | 1200 8323 18342 | 12968 11344 98 | 0.000 % | c | 17111 | 1200 8323 18342 | 14265 10453 117 | 0.007 % | c | 25761 | 1200 8323 18342 | 15692 11828 119 | 0.007 % | c | 38735 | 1200 8323 18342 | 17261 8791 121 | 0.000 % | c | 58198 | 1200 8323 18342 | 18987 10660 168 | 0.000 % | c | 87390 | 1200 8323 18342 | 20886 10824 127 | 0.007 % | c | 131185 | 1200 8323 18342 | 22974 12133 133 | 0.008 % | c | 196869 | 1200 8323 18342 | 25272 19444 109 | 0.000 % | c | 295397 | 1196 8323 18342 | 27799 13885 102 | 0.341 % | c | 443189 | 1195 8323 18342 | 30579 14535 105 | 0.424 % | c | 664873 | 1194 8323 18342 | 33637 25176 113 | 0.500 % | c | 997399 | 1176 8323 18342 | 37001 18178 117 | 2.006 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1350 8324 18642 | 5000 0 -nan | 0.000 % | c | 100 | 1350 8324 18642 | 5500 100 35 | 0.006 % | c | 254 | 1350 8324 18642 | 6050 254 34 | 0.000 % | c | 479 | 1350 8324 18642 | 6655 479 46 | 0.000 % | c | 816 | 1350 8324 18642 | 7320 816 43 | 0.000 % | c | 1324 | 1350 8324 18642 | 8052 1324 55 | 0.006 % | c | 2087 | 1350 8324 18642 | 8857 2087 60 | 0.000 % | c | 3228 | 1350 8324 18642 | 9743 3228 63 | 0.006 % | c | 4936 | 1350 8324 18642 | 10717 4936 72 | 0.000 % | c | 7498 | 1350 8324 18642 | 11789 7498 77 | 0.006 % | c | 11342 | 1350 8324 18642 | 12968 11342 87 | 0.006 % | c | 17108 | 1350 8324 18642 | 14265 10496 113 | 0.000 % | c | 25758 | 1350 8324 18642 | 15692 11838 131 | 0.000 % | c | 38734 | 1350 8324 18642 | 17261 8786 156 | 0.006 % | c | 58196 | 1350 8324 18642 | 18987 10525 130 | 0.000 % | c | 87388 | 1350 8324 18642 | 20886 10637 124 | 0.000 % | c | 131178 | 1350 8324 18642 | 22974 11813 164 | 0.000 % | c | 196865 | 1350 8324 18642 | 25272 19144 191 | 0.000 % | c | 295395 | 1350 8324 18642 | 27799 14346 138 | 0.000 % | c | 443184 | 1350 8324 18642 | 30579 22789 161 | 0.000 % | c | 664869 | 1350 8324 18642 | 33637 18035 142 | 0.000 % | c | 997396 | 1350 8324 18642 | 37001 26942 256 | 0.000 % | c CPU time : 1800 s c Total CPU time: 1800 s